dependencies - prolog predicate dependency tree -
let's have scenario:
ascendent(x,y) :- parent(x,y). ascendent(x,y) :- parent(x,z), ascendent(z,y). brother(x,y):-parent(z,x),parent(z,y), x \= y . uncle(x,y):-brother(x,z),parent(z,y),x \= y.
how can know predicates used ascendent , predicates uses ascendent? there built-in function or meta-predicate useful task?
Comments
Post a Comment