Tabled LP Systems Implementation of Tabled LP Systems Simple techniques for implementing tabled logic programming systems are being investigated in this project. Recently, a new technique for implementing tabling based on dynamic reordering of alternatives has been proposed by us and implemented on top of the ALS commercial Prolog systems.
Work is in progress to incorporate negation, cuts and parallelism.
H-F Guo, G. Gupta. A simple technique for implementing tabling based on dynamic reordering of alternatives. Cuts and Tabled Logic Programming. High Performance Logic Programming.