Multi-dimensional logic programming: theoretical foundations

DOI10.1016/S0304-3975(97)00048-0zbMath0901.68029MaRDI QIDQ1390957

Mehmet A. Orgun, Wei-Chang Du

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

logic programmingMSLD-resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Lucid

Cites Work

• Temporal logic programming
• Logic programming '85. Proceedings of the 4th conference, Tokyo, Japan, July 1--3, 1985
• MOLOG: A system that extends PROLOG with modal logic
• Concerning the semantic consequence relation in first-order temporal logic
• The power of temporal proofs
• Multimodal logic programming using equational and order-sorted logic
• On the expressiveness of temporal logic programming
• Contributions to the Theory of Logic Programming
• Towards a unified theory of intensional logic programming
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multi-dimensional logic programming: theoretical foundations