An abstract machine to implement or-and parallel PROLOG efficiently

DOI10.1016/0743-1066(90)90025-ZzbMath0713.68015OpenAlexW2018195830MaRDI QIDQ3198866

Philippe Robert, Jacques Chassin de Kergommeaux

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/0743-1066(90)90025-z

zbMATH Keywords

parallel computationunificationlogic programmingAbstract Machine

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: An abstract machine to implement or-and parallel PROLOG efficiently