The architecture of an implementation of λProlog: Prolog/Mali (1992)

by Pascal Brisset, Olivier Ridoux
Venue:In Proceedings of the 1992 λProlog Workshop