Ref_term/4

Предикат ref_term связывает Term с термом, который помещен с указа-

телем Ref:

ref_term(Dbase,Domain,Ref,Term) /* (i,i,i,о) */