CPD lite: A lightweight approach to Conjunctive Partial Deduction (web interface)

CPD lite is a hybrid approach to the partial evaluation of logic programs. Currently, the prototype implementation only accepts definite logic programs without built-in's nor negation. It takes the following inputs:

A technical description can be found in this paper.

Source program
Choose a file:
Call patterns: Nonregular Predicates:

Partially evaluated program:

*** Only tested in Mozilla/Firefox ***

Last update / Germán Vidal