Scoping constructs in logic programming: Implementation problems and their solution

DOI10.1016/0743-1066(95)00037-KzbMath0871.68047MaRDI QIDQ3128624

Bharat Jayaraman, Keehang Kwon, Gopalan Nadathur

Publication date: 5 October 1997

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

zbMATH Keywords

logic programmingWarren abstract machine

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Efficient resource management for linear logic proof search ⋮ A proof procedure for the logic of hereditary Harrop formulas