release_1 Log

Commit Date  
[f16399] (22.3 kB) by mtnyogi

Took out %var syntax from goal.compile.

Also fixed a slight reporting bug in the top-level testpyke script.

2010-02-25 18:43:40 View
[90ba04] (22.5 kB) by mtnyogi

Now have engine.prove_goal too.

./testpyke works, but only family_relations has been converted so far...

2010-02-24 21:41:49 View
[8a3e84] (22.5 kB) by mtnyogi

Got first test for goal.compile working!

2010-02-24 19:48:07 View
[87e5be] (20.2 kB) by mtnyogi

Dropped all of the sub-testX scripts.

The doctest-tools testall script will work from the root source directory now
for both Python 2.5 and 2.6. But it doesn't delete all of the compiled_krb
files first.

So we're not quite done upgrading the testing yet! But there are a lot of
changes to this point, and I wanted to checkpoint everything...

2009-10-25 03:23:12 View
[cc52ad] (20.2 kB) by mtnyogi

- Included a copy of ply with Pyke so that the pyke/krb_compiler/*
files won't ever have to be recompiled after installation (since the user
may not always have permission to do this).

2009-03-06 19:02:16 View
[9c1b57] (20.2 kB) by mtnyogi

- Added mention of 'engine' variable within rules to documentation to fix bug
- Made separate 'init' functions in and to make it
easier to recompile the ply * files.

2009-02-15 16:36:21 View
[2825a9] (20.1 kB) by mtnyogi

- Changed initialization of PLY lex and yacc to pass modules (to avoid
traceback inspection) and use pre-compiled tables files.
- Started on conversion of sqlgen example to sqlite3.

2008-12-25 18:56:46 View
[2bb500] (18.7 kB) by mtnyogi

- updated documentation to reflect the changes in lookup and prove.
- fixed the problem with ./testdocs not honoring "from __future__ import
- made sure the copyright statements for all files that have changed in 2008
include 2008 in them.
- regenerated the html documentation.

./testall passes all tests now.

2008-09-24 19:46:26 View
[8c02ba] (18.7 kB) by mtnyogi

Changed lookup and prove to return context managers that return iterators when
"entered". Still have 2 .txt files in doc that fail tests.

Also need to convert prove_n to do the same thing.

All examples work.

2008-09-14 18:28:29 View
[7a5f9c] (18.5 kB) by mtnyogi

1. Deleted ':' after rule names in documentation.
2. Added DeprecationWarning for ':' after rule names in .krb files.
3. Added question_base as a full knowledge_base what gets compiled into
4. Added get_ke method to
5. Renamed gen_dir => gen_root_location and gen_root_dir => gen_root_pkg in
knowledge_engine.__init__ args.
6. Converted examples/learn_pyke to new question_base format.

Still need to update the documentation for all of the above.

Passes ./testall

2008-07-26 00:07:41 View
[4ca57f] (0.3) (18.5 kB) by mtnyogi

Release 0.3

2008-06-08 23:05:40 View
[c203b8] (18.5 kB) 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 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 View
[f1a377] (18.2 kB) by mtnyogi

1. Fixed bug in 'forall' with the 'require' option.
2. Started converting the examples to use the new forall/notany/python/first
3. Changed anonymous variables to be any name starting with an underscore.

2008-06-03 21:53:43 View
[f66b44] (18.2 kB) 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

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

2008-05-20 17:54:31 View
[9cf235] (17.3 kB) by egon_wuchner

implemented python clause and findall example.

2008-05-20 07:06:27 View
[543a06] (16.9 kB) by egon_wuchner


2008-05-15 06:27:49 View
[ed186b] (16.7 kB) 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

2008-05-05 18:31:33 View
[5b9ac5] (16.7 kB) by egon_wuchner

bc notany implemented. only manual tests work. trunk/pyke/testpyke works. trunk/testall ends up with web_framework.tst errors.

2008-05-05 08:22:19 View
[fc35ed] (16.6 kB) 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 View
[7cd0dd] (16.4 kB) 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 View
[271449] (16.1 kB) by mtnyogi

commented out test grammer error in

2008-04-28 22:42:04 View
[c593ff] (16.0 kB) 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 and

2008-04-28 18:57:05 View
[734c69] (11.8 kB) 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 View
[f906c3] (11.8 kB) 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 View
[c8540c] (11.8 kB) by mtnyogi

Changed file(...) calls to open(...) and removed unnecessary
contextlib.closing calls around open(...)s.

2008-03-21 15:17:16 View
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks