Top-down and Bottom-up Evaluation Procedurally Integrated

DOI10.1017/S1471068418000194zbMath1452.68040arXiv1804.08443OpenAlexW2962810847MaRDI QIDQ4559824

David S. Warren

Publication date: 4 December 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.08443

zbMATH Keywords

tablinglogic programmingPrologtop-downbottom-upprocedural interpretation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A Survey of the Proof-Theoretic Foundations of Logic Programming

Uses Software

• YAP-Prolog
• B-Prolog
• XSB

Cites Work

• Unnamed Item
• Functional and logic programming. 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11--13, 1999. Proceedings
• The YAP Prolog system
• XSB: Extending Prolog with Tabled Logic Programming
• The language features and architecture of B-Prolog
• An overview of Ciao and its design philosophy
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Efficient access mechanisms for tabled logic programs
• The deductive database system [Lscr [Dscr ][Lscr ]++]

This page was built for publication: Top-down and Bottom-up Evaluation Procedurally Integrated