Clause Manipulation¶

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.

• prolog::clauselength/2
• prolog::list2conj/2
• prolog::conj2list/2