.gitignore LICENSE Rakefile TODO examples/x-01.rb examples/x-02.rb examples/x-03.rb examples/x-04.rb examples/x-05.rb examples/x-06.rb lib/jamis/logic_engine/blank_slate.rb lib/jamis/logic_engine/clean_room.rb lib/jamis/logic_engine/database.rb lib/jamis/logic_engine/database/atom.rb lib/jamis/logic_engine/database/conjunction.rb lib/jamis/logic_engine/database/function.rb lib/jamis/logic_engine/database/function/atomic.rb lib/jamis/logic_engine/database/function/bind_to.rb lib/jamis/logic_engine/database/function/cut.rb lib/jamis/logic_engine/database/function/is.rb lib/jamis/logic_engine/database/function/not_eq.rb lib/jamis/logic_engine/database/function/numeric.rb lib/jamis/logic_engine/database/function/proc.rb lib/jamis/logic_engine/database/implication.rb lib/jamis/logic_engine/database/operation.rb lib/jamis/logic_engine/database/operation/addition.rb lib/jamis/logic_engine/database/operation/arithmetic.rb lib/jamis/logic_engine/database/operation/multiplication.rb lib/jamis/logic_engine/database/operation/subtraction.rb lib/jamis/logic_engine/database/predicate.rb lib/jamis/logic_engine/database/term.rb lib/jamis/logic_engine/database/value.rb lib/jamis/logic_engine/database/variable.rb lib/jamis/logic_engine/environment.rb lib/jamis/logic_engine/module.rb lib/jamis/logic_engine/resolver.rb lib/jamis/logic_engine/solution.rb test/dsl_test.rb test/resolve_test.rb test/sexp_test.rb Jamis Buck jamis@37signals.com http://github.com/jamis/logic-engine/commit/1e5a98b16b1ab45a0c3a210a985b65bde3d409bb 1e5a98b16b1ab45a0c3a210a985b65bde3d409bb 2008-11-08T13:28:45-08:00 2008-11-08T13:28:45-08:00 initial commit 79ccb8f40dd3b497ff14fdc2c98eb22bbe67ab0a Jamis Buck jamis@37signals.com