Subset-logic programs and their implementation

DOI10.1016/S0743-1066(99)00005-9MaRDI QIDQ4939542zbMATH OpenOpenAlexFDO

Authors Bharat Jayaraman, Kyonghee Moon

Publication date 6 February 2000

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

Full work available at URL https://doi.org/10.1016/s0743-1066(99)00005-9

zbMATH Keywords

set-oriented logic programmingsubset-logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Tabling with answer subsumption: implementation, applications and performance
• Subset-equational programming in intelligent decision systems
• {log}: A language for programming in logic with finite sets
• Automated Deduction – CADE-20
• Notes on the implementation of PARLOG

Cited in

(5)

• On Delphi lemmas and other memoing techniques for deterministic logic programs
• scientific article; zbMATH DE number 1107619 (Why is no real title available?)
• scientific article; zbMATH DE number 1140683 (Why is no real title available?)
• Partial order programming (revisited)
• Subset-equational programming in intelligent decision systems

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Subset-logic programs and their implementation

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