A pragmatic reconstruction of λProlog

DOI10.1016/S0743-1066(98)10038-9zbMath0948.68027OpenAlexW1487940501MaRDI QIDQ4719374

Pascal Brisset, Catherine Belleannée, O. Ridoux

Publication date: 4 January 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10038-9

zbMATH Keywords

\(\lambda\)Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Unnamed Item ⋮ Implementing type theory in higher order constraint logic programming

This page was built for publication: A pragmatic reconstruction of λProlog