Bottom Clause Construction

:- modeb(p(+a,+b,-c,#d)).

a1 b1 c11 d11 2 class1

a2 b1 c11 d21 2 class1

x1 y1 z11 n11 2 classN

x2 y2 z12 n12 2 classN

x2 y2 z11 n22 2 classN

INSERT INTO modeb_p

SELECT DISTINCT

T.a,T.b,T.c,T.d,

(R1.depth+1), R1.id

FROM

rterm_a R1, rterm_b R2, p T

WHERE R1.id = R2.id

AND

(R1.depth = 1 OR R2.depth = 1)

AND

R1.inst = T.a AND R2.inst = T.b

Same class

Use current depth

Contain the

Registered terms