YAP 7.1.0
clauses.yap File Reference

Utilities for clause manipulation. More...

Go to the source code of this file.

Detailed Description

Utilities for clause manipulation.

Author
VITOR SANTOS COSTA vsc@V.nosp@m.ITOR.nosp@m.s-MBP.nosp@m..lan
Date
Tue Nov 17 14:51:30 2015

Definition in file clauses.yap.