( ) -.
domains
4 ();
name =d, name , d
list = element*, list element, element , domains , * - .
num1=f1 (d11,,d1M);f2)d21,,d2N) num1 , .
file = name1; name2; . . , , .
-.
predicates
() :
predname (comp1, , compN), predname , comp1, , compN .
domains
fio=string
den, god = integer
mes = symbol
predicates
anketa (fio, den, mes, god)
, domains .
anketa (string, integer, symbol, integer)
. . .
6. -: .
clauses
(). , .
, .
anketa (, 8, august, 1958).
anketa, () , . anketa, () , . . , .
, :- (). . , . , . , , . , ; (:- if) (. and) (; or).
.