PPT Slide

EXAMPLE

real( helen ) .

beautiful(hera ) .

beautiful( helen ) .

beautiful( aphrodite ) .

lovely( X ) : - beautiful( X ) .

desirable( X ) : - lovely( X ) , real( X ) .

| ? - desirable( Who ) .

desirable( Who )

lovely( Who ) real( Who )

beautiful( Who ) real(hera) real(helen)

binding

beautiful( hera ) beautiful( helen )

Who = helen

P.18

X

Previous slide

Next slide

Back to first slide

View graphic version