Einstein's Puzzle - Complete Scheme File

From OpenCog
Jump to: navigation, search

See the source code, look in the tests directory, specifically, at /tests/query/deduct-einstein.scm and /tests/query/deduct-rules.scm.