Prolog Language
Prédicats Extra-Logiques

Prédicats avec effets secondaires

Les prédicats qui produisent des effets secondaires quittent le domaine de la logique pure. Ce sont par exemple:

• writeq/1
• read/1
• format/2

Les effets secondaires sont des phénomènes qui ne peuvent pas être raisonnés dans le programme. Par exemple, suppression d'un fichier ou sortie sur le terminal du système.

Prédicats méta-logiques

Prédit que la raison des instanciations est appelée méta-logique . Les exemples sont:

• var/1
• ground/1
• integer/1

Ces prédicats sont en dehors du domaine des programmes logiques monotones purs, car ils rompent des propriétés telles que la commutativité de la conjonction.

Les autres prédicats qui sont méta-logiques incluent:

• arg/3
• functor/3
• (=..)/2

Ces prédicats pourraient en principe être modélisés dans la logique du premier ordre, mais nécessitent un nombre infini de clauses.

Prédicats de toutes les solutions

Les prédicats selon lesquels la raison de toutes les solutions est extra-logique. Ce sont par exemple:

• setof/3
• findall/3
• bagof/3

! / 0 et les prédicats associés

Les prédicats qui empêchent ou interdisent une lecture déclarative des programmes Prolog sont extra-logiques. Des exemples de tels prédicats sont:

• !/0
• (->)/2 et si-alors-sinon
• (\+)/1

Ces prédicats ne peuvent être compris que sur le plan de la procédure, en tenant compte du flux de contrôle réel de l’interprète et, en tant que tels, dépassent le cadre de la logique pure.