YAP 7.1.0
Clause Manipulation

This library supports a number of useful utilities that come up over and over again when manipulating Prolog programs.

This library supports a number of useful utilities that come up over and over again when manipulating Prolog programs.

This will include operations and conversion to other structures