projection.pl -- Projecting the consequences of rules.
The following predicates are supported:
Predicate
Arguments
project/1
:Goal
author
- Daniel Beßler
license
- BSD