Towards resource handling in logic programming: The PPL framework and its semantics

DOI10.1007/BFB0021986MaRDI QIDQ4537452zbMATH OpenFDO

Authors Jean-Marie Jacquet, Luís Monteiro

Publication date 30 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0021986

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Towards resource handling in logic programming: The PPL framework and fits semantics
• Bunched logic programming (extended abstract)
• scientific article; zbMATH DE number 18622
• Resource management in linear logic proof search revisited
• Efficient resource management for linear logic proof search

Cited in

(2)

• Towards resource handling in logic programming: The PPL framework and fits semantics
• plp: A generic compiler for ordered logic programs

This page was built for publication: Towards resource handling in logic programming: The PPL framework and its semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537452)