A Mercury programozási nyelv

Tények

A tények Head = Result. formájú elemek. Egy predikátum tény egy Head formájú elem, ahol a Head legmagasabb szintű funktora nem a :-/1, :-/2, -->/2, vagy az =/2 operátor. A Head term nem lehet változó egyik esetben sem. A Head legfelsőbb szintű funktora határozza meg, hogy a tény melyik predikátumhoz vagy függvényhez tartozik; ennek a predikátumnak vagy függvénynek ebben a modulban deklarálva kell lennie egy megelőző pred vagy func deklarációval. A Result-nak (ha van) és a Head argumentumainak érvényes adat-termeknek kell lenniük (opcionálisan mód minősítővel ellátva).

Egy tény ekvivalens egy olyan szabállyal, amelynek a törzse (Body része) true.