Prolog & SQL

class(A,mammal):-milk(A),legs(A,4).

SELECT T1.name, T1.class

FROM animals T1, animals T2, animals T3

WHERE T1.name = T2.name,

AND T2.name=T3.name

AND T1.class = ‘mammal’

AND T2.milk = ‘yes’

AND T3.legs = 4

SELECT T1.name, T1.class

FROM animals T1

WHERE T1.class =‘mammal’

AND T1.milk = ‘yes’

AND T1.legs = 4

• Representation of Hypothesis

animals (

name varchar(15),

class varchar(15),

cover varchar(10),

legs integer,

milk varchar(5),

habitat varchar(15),

eggs varchar(5),

gills varchar(5) )

predicate-schema transformation rule

class(A,B):- animals(A,B,_,_,_,_,_,_).

milk(A):- animals(A,_,_,_,yes,_,_,_).

legs(A,L):- animals(A,_,_,L,_,_,_,_).

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示