PPT Slide

USING RULES TO ANSWER QUERIES

male( albert ) .

male( edward ) .

female( alice ) .

female( victoria ) .

parents( edward , victoria , albert ) .

parents( alice , victoria , albert ) .

sisterof( X , Y ) : - female( X ) ,

parents( X , M , F ) ,

parents( Y , M , F ) .

| ? - sisterof( alice , edward ) .

yes

| ? - sisterof( alice , X ) .

X = edward

| ? - sisterof( alice , alice ) .

yes

P.15

Previous slide

Next slide

Back to first slide

View graphic version