[next] [prev] [prev-tail] [tail] [up]
Abstraction of a predicate
aq(P)
with
This command replaces in the current goal a predicate P used in the current goal by a new variable named PP or PP$i. This new variable, equivalent to the predicate P, is created by the aq command.
[next] [prev] [prev-tail] [front] [up]