CPSC 322 - Lecture 8

The Maze Knowledge Base

nowall(r11,r12).
nowall(r12,r13).
nowall(r13,r14).
nowall(r14,r15).
nowall(r15,r16).
nowall(r16,r17).
nowall(r11,r21).
nowall(r12,r22).
nowall(r14,r24).
nowall(r24,r23).
nowall(r25,r26).
nowall(r27,r28).
nowall(r17,r27).
nowall(r28,r18).
nowall(r21,r31).
nowall(r22,r32).
nowall(r33,r34).
nowall(r34,r35).
nowall(r35,r25).
nowall(r26,r36).
nowall(r38,r37).
nowall(r31,r41).
nowall(r32,r42).
nowall(r43,r33).
nowall(r36,r46).
nowall(r37,r47).
nowall(r48,r38).
nowall(r41,r51).
nowall(r42,r52).
nowall(r52,r53).
nowall(r53,r43).
nowall(r44,r54).
nowall(r45,r44).
nowall(r46,r45).
nowall(r58,r48).
nowall(r51,r61).
nowall(r62,r63).
nowall(r54,r64).
nowall(r64,r65).
nowall(r65,r55).
nowall(r46,r56).
nowall(r56,r66).
nowall(r66,r67).
nowall(r67,r57).
nowall(r57,r58).
nowall(r58,r68).
nowall(r61,r71).
nowall(r72,r62).
nowall(r63,r73).
nowall(r71,r81).
nowall(r81,r82).
nowall(r82,r72).
nowall(r73,r83).
nowall(r83,r84).
nowall(r84,r74).
nowall(r74,r75).
nowall(r75,r76).
nowall(r75,r85).
nowall(r85,r86).
nowall(r68,r78).
nowall(r78,r77).
nowall(r77,r87).
nowall(r87,r88).

path(X,Y) <- nowall(X,Z) & path(Z,Y).
path(X,Y) <- nowall(X,Y).

/* compare to
path(X,Y) <- path(X,Z) & path(Z,Y).
path(X,Y) <- nowall(X,Y).
*/