Logicalc Coloring

Logicalc Coloring

Home

Lambda

Omega

Metadata

Script

This portion of the demo illustrates the need for resolution closure.

Describe icons on table Open rules Open data Note rule p(b) & p(c) => p(d) Note rule p(b) & p(d) => p(e) Note rule p(b) & p(e) => p(f)

p(a) p(b) p(c) p(d) p(e) q(a) q(b) q(c) q(d) q(e) p(b) & p(c) & p(d) => p(f) p(b) & p(c) & p(e) => p(g) p(b) & p(c) & p(e) => false q(b) & q(c) & q(d) => q(f) q(b) & q(c) & q(e) => false p(b) & p(c) & p(d) => p(f) p(b) & p(c) & p(e) => p(g) p(b) & p(c) & p(e) => false q(b) & q(c) & q(d) => q(f) q(b) & q(c) & q(e) => false

Input:

Output:

foo	foo
bar	foo
baz	foo

Comments and complaints to genesereth@stanford.edu.