¬
®
10.2.12.3 Commands
A command is a Prolog term of the form:
:- goal 1 ,..., goal k . % 1
£
k
where goal i is a call term (i.e. goal). A command is executed automatically when it is encountered during a consult or reconsult.quote>
®®