GitHub - wjzz/Combinatory-logic: A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.

wjzz / Combinatory-logic Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
test-data		test-data
tofix		tofix
unused		unused
Makefile		Makefile
README		README
TODO		TODO
combinators.lisp		combinators.lisp
equality-tests.lisp		equality-tests.lisp
equality.lisp		equality.lisp
example-combinators.lisp		example-combinators.lisp
general-rewrite-tests.lisp		general-rewrite-tests.lisp
general-rewrite.lisp		general-rewrite.lisp
generate.lisp		generate.lisp
helpers.lisp		helpers.lisp
performance-check.lisp		performance-check.lisp
reify-tests.lisp		reify-tests.lisp
reify.lisp		reify.lisp
rewrite-tests.lisp		rewrite-tests.lisp
rewrite.lisp		rewrite.lisp
rule_db.lisp		rule_db.lisp
runc		runc
runs		runs
sets-hash.lisp		sets-hash.lisp
sets.lisp		sets.lisp
specification-tests.lisp		specification-tests.lisp
specification.lisp		specification.lisp
times.txt		times.txt

Repository files navigation

A simple tool for playing with combinatorial logic. 

The main feature is going to be a module for generating functions that adhere to a given specification. 
This is going to be useful for some logic puzzles from the book 'To mock a mockingbird' by R.Smullyan.

Example. Having only B (where B x y z = x (y z)) build a combinator C that satisfies
  C x y z w = x y (z w).

The program will try to find such C.