4.4 Abstract predicate

Abstraction dun prédicat

Syntaxe

  aq(P)

avec :

Utilisation

Cette commande permet de créér une nouvelle variable nommée PP ou PP$i équivalente au prédicat P contenu dans le but courant et de remplacer le prédicat par cette nouvelle variable dans le but courant.