On the implementation ofGNU Prolog

DOI10.1017/S1471068411000470zbMath1244.68018arXiv1012.2496WikidataQ62612381 ScholiaQ62612381MaRDI QIDQ2893102

Daniel Diaz, Philippe Codognet, Salvador Abreu

Publication date: 25 June 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1012.2496

zbMATH Keywords

Prologlogic programming systemISOWAMfinite-domain constraintsGNUnative code compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Related Items (4)

Fifty Years of Prolog and Beyond ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ The Boolean Constraint Solver of SWI-Prolog (System Description) ⋮ Prolog

Uses Software

• LLVM
• wamcc

Cites Work

• Compiling constraints in clp(FD)

This page was built for publication: On the implementation ofGNU Prolog