advise(1)

NAME
advise - write user-defined predicates to a file.

SYNOPSIS
advise(Filename)?

DESCRIPTION
advise/1 takes as argument a filename, e.g., "memout", and writes to the file with that name and a .pl extension, e.g., "memout.pl", the definitions of the user-defined predicates. The typical use is as follows. After a file has been consulted and Progol generalisation has been executed to yield a set of general clauses, the positive examples in the predicate definition that are entailed by this set of clauses have been replaced by the set of clauses. The advise command can be used to write this revised, more general predicate definition to a file.

EXAMPLES
        advise(memout)?

SEE ALSO