A Pragmatic Reconstruction of λProlog (1994)

by Catherine Belleannée , Pascal Brisset , Olivier Ridoux