Prolog - Predicados pré-definidos

Continuaremos a usar a nossa apostila (Ap.).

Veremos hoje alguns predicados pré-definidos da lingaugem Prolog (Ap. 7).

True, repeat (Ap. 7.1).

var(X), novar(X), atom(X), number(X), atomic(X) (Ap.7.2).

listing, listing(P), asserta(X), assertz(X), retract(X) (Ap. 7.3).

last(X, L), reverse(L, M), delete(X, L, M) (Ap. 7.4).

subset(X, Y), intersection(X, Y, Z), union(X, Y, Z) (Ap. 7.5).

X ..= L, random(N), findall(X, M, L), ; (Ap. 7.6).