Logicalc Coloring

Logicalc Coloring

Home

Lambda

Omega

Metadata

Script

Open rules Open data Note rule p(c) => p(d) Add p(c) Note p(d) added Delete p(d) Note p(c) deleted Note rule p(e) & p(f) => false Add p(e) Add p(f) Note p(e) deleted Delete p(f) Note rule true => p(b) | p(g) Delete p(b) Note p(g) added Delete p(g) Note p(b) added Note rule q(j) & q(k) & q(l) => false Add q(j) Add q(k) Add q(l) Note red Add q(m) Add q(n) Note blue q(o) Accept q(o) Blue goes away Delete q(o) Blue comes back

p(a) p(b) p(c) => p(d) p(e) & p(f) => false true => p(b) | p(g) p(j) & p(k) & p(l) => false p(m) & p(n) => p(o) p(c) => p(d) p(e) & p(f) => false true => p(b) | p(g) p(j) & p(k) & p(l) => false p(m) & p(n) => p(o)

Input:

Output:

foo	foo
bar	foo
baz	foo

Comments and complaints to genesereth@stanford.edu.