Utilities for clause manipulation. More...
Go to the source code of this file.
Utilities for clause manipulation.
Definition in file clauses.yap.