Scoping constructs in logic programming: Implementation problems and their solution
From MaRDI portal
Publication:3128624
DOI10.1016/0743-1066(95)00037-KzbMath0871.68047MaRDI QIDQ3128624
Bharat Jayaraman, Gopalan Nadathur, Keehang Kwon
Publication date: 5 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
68N17: Logic programming
Related Items
A proof procedure for the logic of hereditary Harrop formulas, Efficient resource management for linear logic proof search