Comment by andrewcooke

so can you define something like

  transitive(X) :- [ X(A,C) :- X(A,B), X(B,C) ]

(which generalises the decendent example)? more generally, i guess i am asking whether those horn clause things are first class.