Bottom Clause Construction

b1 1 class1

b2 1 class1

y1 1 classN

y2 1 classN

a1 1 class1

a2 1 class1

x1 1 classN

x2 1 classN

c11 2 class1

z11 2 classN

z12 2 classN

:- 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

INSER INTO rterm_c

SELECT DISTINCT

c as inst , depth, id

FROM modeb_p

[

WHERE c NOT IN (

SELECT Old.inst

FROM rterm_c Old)

]

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示