PPT Slide

C.14

PROLOG

ON(REDBLOCK, BLUEBLOCK).

ON(BLUEBLOCK, GREENBLOCK).

ON(GREENBLOCK, YELLOWBLOCK).

ON(X,Y) :- ON(X,TEMP) ON(TEMP,Y).

?- ON(REDBLOCK, YELLOWBLOCK).

• symbolic expressions

• built-in logic proving mechanism

• recursion

Previous slide

Next slide

Back to first slide

View graphic version