Commit [f1a377] default Maximize Restore History

1. Fixed bug in 'forall' with the 'require' option.

2. Started converting the examples to use the new forall/notany/python/first
constructs.
3. Changed anonymous variables to be any name starting with an underscore.

mtnyogi mtnyogi 2008-06-03

changed doc/html/PyCon2008-paper.html
changed doc/html/krb_syntax/bc_rule.html
changed doc/html/krb_syntax/fc_rule.html
changed doc/html/krb_syntax/pattern.html
changed doc/html/krb_syntax/python_premise.html
changed doc/html/logic_tricks.html
changed doc/html/overview/knowledge_bases/special.html
changed doc/html/overview/rules/forward_chaining.html
changed doc/html/using_pyke.html
changed doc/source/PyCon2008-paper.txt
changed doc/source/krb_syntax/pattern.txt
changed doc/source/overview/rules/forward_chaining.txt
changed doc/source/using_pyke.txt
changed examples/family_relations/bc2_example.krb
changed examples/family_relations/bc_example.krb
changed examples/sqlgen/database.krb
changed pyke/contexts.py
changed pyke/krb_compiler/compiler.krb
changed pyke/krb_compiler/compiler_bc.py
changed pyke/krb_compiler/krbparser.py
changed pyke/krb_compiler/scanner.py
changed pyke/test.py
doc/html/PyCon2008-paper.html Diff Switch to side-by-side view
Loading...
doc/html/krb_syntax/bc_rule.html Diff Switch to side-by-side view
Loading...
doc/html/krb_syntax/fc_rule.html Diff Switch to side-by-side view
Loading...
doc/html/krb_syntax/pattern.html Diff Switch to side-by-side view
Loading...
doc/html/krb_syntax/python_premise.html Diff Switch to side-by-side view
Loading...
doc/html/logic_tricks.html Diff Switch to side-by-side view
Loading...
doc/html/overview/knowledge_bases/special.html Diff Switch to side-by-side view
Loading...
doc/html/overview/rules/forward_chaining.html Diff Switch to side-by-side view
Loading...
doc/html/using_pyke.html Diff Switch to side-by-side view
Loading...
doc/source/PyCon2008-paper.txt Diff Switch to side-by-side view
Loading...
doc/source/krb_syntax/pattern.txt Diff Switch to side-by-side view
Loading...
doc/source/overview/rules/forward_chaining.txt Diff Switch to side-by-side view
Loading...
doc/source/using_pyke.txt Diff Switch to side-by-side view
Loading...
examples/family_relations/bc2_example.krb Diff Switch to side-by-side view
Loading...
examples/family_relations/bc_example.krb Diff Switch to side-by-side view
Loading...
examples/sqlgen/database.krb Diff Switch to side-by-side view
Loading...
pyke/contexts.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler.krb Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler_bc.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/krbparser.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/scanner.py Diff Switch to side-by-side view
Loading...
pyke/test.py Diff Switch to side-by-side view
Loading...