pre_2to3 Log


Commit Date  
[4ca57f] (0.3) by mtnyogi

Release 0.3

2008-06-08 23:05:40 Tree
[c203b8] by mtnyogi

This revision is the base for the 0.3 release.

1. Finished updating the documentation.
2. Finished updating examples.
3. Changed the url format on the web_framework example to include "movie"
before the movie id.
4. Added plan caching to the web_framework example.
5. Removed the requirement to place a backslash before the "taking" clause
when it appears on the next line.
6. Changed "nls" to NL_TOK in krbparser.py since the scanner only emits one
NL_TOK if there are multiple newlines in a row (including lines with just
spaces and/or comments).

2008-06-08 22:14:22 Tree
[f1a377] by mtnyogi

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.

2008-06-03 21:53:43 Tree
[f66b44] by mtnyogi

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.

2008-05-20 17:54:31 Tree
[27ec57] by mtnyogi

1. Fixed a few small bugs in examples/notany test.py
2. Added test to engine.prove_n to raise TypeError if fixed_args is a string.
3. Fixed testpyke to not complain that compiler_bc.py hasn't been compiled
just because Krb_filename is different.
4. Fixed editing of paths in testexample and testTest scripts to remove ./
from path.

2008-05-08 16:50:30 Tree
[ed186b] by mtnyogi

Added Test directory with testTest script, called from top-level testall.

Started documenting FC forall.

Put ellipsis (...) into annoying doc/source/using_pyke.tst krb_traceback
example.

2008-05-05 18:31:33 Tree
[fc35ed] by mtnyogi

First batch of changes for code generation of BC forall. Not done yet, but
testall still works...

2008-05-03 01:48:19 Tree
[7cd0dd] by mtnyogi

1. Removed colon_opt from `python` assertion clause.

2. Changed syntax to allow either "python one_line_of_code" or "python NL
INDENT many_lines_of_code DEINDENT" on `python` assertion clause.

3. Added code generation for fc_forall and got it to pass initial tests.

2008-05-02 21:05:18 Tree
[c593ff] by mtnyogi

1. Made use of ':' in krb syntax deprecated
- warning message is commented out for now
- haven't changed documentation yet
- have changed examples/
2. Added 'forall' syntax
- not added to compiler.krb or documentation yet, other than doc/ast_syntax
3. Added pyke/krb_compiler/TEST files to doctests in scanner.py and
krbparser.py

2008-04-28 18:57:05 Tree
[c031ad] by mtnyogi

Added 'Examples' page to the html documentation.

2008-04-13 22:03:08 Tree
[8d35ae] by mtnyogi

Moved doc/testdocs.py to top-level doctest_file.py

2008-04-11 02:42:57 Tree
[734c69] by mtnyogi

1. Took out tmp_itertools getting ready for python3.0.
2. Added test scripts starting with top-level testall script.

2008-04-11 02:35:46 Tree
[f906c3] by mtnyogi

- change 2 references to 'compiler' subdirectory to 'krb_compiler': in
doc/source/installing_pyke.txt and README.
- fixed bug with python: assertions in fc rules.

2008-04-08 01:22:26 Tree
[a32a78] by mtnyogi

Added PyCon2008 paper.

2008-03-10 18:53:09 Tree
[0bd686] by mtnyogi

Added examples tarball to sourceforge downloads.

2008-03-07 16:20:14 Tree
[a7d38b] by mtnyogi

Small documentation changes for Release 0.2

2008-03-06 18:33:46 Tree
[5a44bd] (0.2) by mtnyogi

Release 0.2

2008-03-06 17:17:01 Tree
[e67fdb] by mtnyogi

1. Moved pyke/__init__.py to pyke/knowledge_engine.py so that pyke doesn't
get imported when you unpickle plans.
2. Added test.py module to pyke.
3. Added type check for args parameter to add_*_fact and assert_ in
knowledge_engine.engine. Also now accept any iterable (other than strings)
as args parameter.
4. Added final parameter to lookup_data and create_plan calls in prove_[n1]
to convert prototype plans stored in pattern variables into real plans.
5. Added parenthesis around $pattern_name expansions in the generated python
code (though, on hindsight, I'm not sure this was really needed).
6. Commented out prints in examples/sqlgen/database.krb.
7. Added movie id 3 to a second DVD in examples/sqlgen/catalog.txt.
8. Added examples/web_framework example.

2008-03-06 03:03:50 Tree
[c0848a] by mtnyogi

Documented trade/untrace calls.
Added copyright and license notices to sqlgen example.
Added README file to sqlgen example.

2008-03-03 19:13:23 Tree
[41aea1] by mtnyogi

1. Finished statistics gathering, so that print_stats now works properly.
2. Added general() function to family_relations example.

2008-02-24 22:05:42 Tree
[55084c] by mtnyogi

1. Added engine.print_stats(), but not all stats are being updated yet.
2. reset wasn't reseting forward-chaining rules. Fixed.
3. variable binding cycles were possible. Fixed.
4. rest_var in pattern_tuple not matched properly. Fixed.
5. Major enhancements to family_relations example.

2008-02-24 18:02:52 Tree
[0f1712] by mtnyogi

1. Broke immutable_dict out of bc_rule.py as first step to not having pyke
imported when a plan is unpickled.
2. Fixed a minor bug where a comment is on the same line as a "check" premise.
3. Added the "logic tricks" web page.

2008-02-23 02:55:45 Tree
[7de8b4] by mtnyogi

finished cheatsheets/making_a_release

2008-02-13 16:41:00 Tree
[66bbff] (0.1.alpha2) by mtnyogi

This should be the alpha2 release!

2008-02-13 15:51:23 Tree
[5c92b3] by mtnyogi

Added krb_traceback and fixed SyntaxError exceptions from the .krb compiler
so that they print the line in error properly when the exception is printed.

2008-02-12 21:15:58 Tree
Older >