Commit [f66b44] default Maximize Restore History

1. Added `first` clause.

2. Started documenting the new forall/notany/python/first clauses.
3. Added code to recompile .krb files when the pyke version changes.
4. Moved string format that generates sql command out of with clause and into
when clause in sqlgen (since it doesn't change for each execution of the
plan).

This passes the testall tests.
The documentation still needs more work.

mtnyogi mtnyogi 2008-05-20

1 2 > >> (Page 1 of 2)
added Test/first/test.tst
added Test/first/test.py
added Test/first/test.krb
added Test/first/family.py
added Test/test.py
added Test/__init__.py
added Test/pyketest.py
added doc/cheatsheets/backups
changed pyke/krb_compiler/compiler.krb
changed pyke/krb_compiler/scanner.py
changed pyke/krb_compiler/helpers.py
changed pyke/krb_compiler/__init__.py
changed pyke/krb_compiler/compiler_bc.py
changed pyke/krb_compiler/krbparser.py
changed pyke/knowledge_engine.py
changed pyke/knowledge_base.py
changed examples/sqlgen/database.krb
changed doc/source/overview/knowledge_bases/special.txt
changed doc/source/krb_syntax/fc_rule.txt
changed doc/source/krb_syntax/bc_rule.txt
changed doc/source/krb_syntax/python_premise.txt
changed doc/source/using_pyke.txt
changed doc/source/logic_tricks.txt
changed doc/html/stylesheets/pyke.css
Test/first/test.tst Diff Switch to side-by-side view
Loading...
Test/first/test.py Diff Switch to side-by-side view
Loading...
Test/first/test.krb Diff Switch to side-by-side view
Loading...
Test/first/family.py Diff Switch to side-by-side view
Loading...
Test/test.py Diff Switch to side-by-side view
Loading...
Test/__init__.py Diff Switch to side-by-side view
Loading...
Test/pyketest.py Diff Switch to side-by-side view
Loading...
doc/cheatsheets/backups Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/compiler.krb Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/scanner.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/helpers.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/__init__.py 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/knowledge_engine.py Diff Switch to side-by-side view
Loading...
pyke/knowledge_base.py Diff Switch to side-by-side view
Loading...
examples/sqlgen/database.krb Diff Switch to side-by-side view
Loading...
doc/source/overview/knowledge_bases/special.txt Diff Switch to side-by-side view
Loading...
doc/source/krb_syntax/fc_rule.txt Diff Switch to side-by-side view
Loading...
doc/source/krb_syntax/bc_rule.txt Diff Switch to side-by-side view
Loading...
doc/source/krb_syntax/python_premise.txt Diff Switch to side-by-side view
Loading...
doc/source/using_pyke.txt Diff Switch to side-by-side view
Loading...
doc/source/logic_tricks.txt Diff Switch to side-by-side view
Loading...
doc/html/stylesheets/pyke.css Diff Switch to side-by-side view
Loading...
1 2 > >> (Page 1 of 2)