, PREDICATES, . . n- :
< >(< >,...,
< n- >).
, . , , .. , , .
, , "", , :
PREDICATES
mother(string,string)
, , .
. , , . , , . , , :
PREDICATES
member(integer,integer*)
member(real,real*)
member(char,char*)
member(string,string*)
, . . , , , , , , , , . , , .
, , . , . . , , .
, (), determ (nondeterm). determ, nondeterm , , , .
check_determ, .
() , PREDICATES. . .