CPSC 322 - Lecture 8

The House Wiring Knowledge Base

/* simple facts */

light(l1).
light(l2).
down(s1).
up(s2).
up(s3).
ok(l1).
ok(l2).
ok(cb1).
ok(cb2).

/* rules */

connected_to(l1,w0).
connected_to(w0,w1) <- up(s2).
connected_to(w0,w2) <- down(s2).
connected_to(w1,w3) <- up(s1).
connected_to(w2,w3) <- down(s1).
connected_to(l2,w4).
connected_to(w4,w3) <- up(s3).
connected_to(p1,w3).
connected_to(w3,w5) <- ok(cb1).
connected_to(p2,w6).
connected_to(w6,w5) <- ok(cb2).
connected_to(w5,outside). 

continuous(X,Y) <- connected_to(X,Z) & continuous(Z,Y).
continuous(X,Y) <- connected_to(X,Y).