4.4 Abstract Predicate

Abstraction of a predicate

Syntax

  aq(P)

with

Use

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.