[next] [prev] [prev-tail] [tail] [up]
Abstraction d’un prédicat
aq(P)
avec :
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.
[next] [prev] [prev-tail] [front] [up]