sto0pkid/PChase

Simple implementation of parsimonious chase

Summary

A simple SWI-Prolog implementation of the parsimonious chase algorithm described here: Efficiently Computable DatalogE Programs

Test it

swipl -s pchase.pl

> test7()