release_1 Log

Commit Date  
[f16399] (33.2 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
[41e00e] (33.2 kB) by mtnyogi

All examples have been converted to new call syntax.

./testpyke works.

Next is the documentation...

2010-02-24 23:24:32 View
[fe1a23] (32.9 kB) by mtnyogi

- Looks like sqlite3 conversion is working now. The testall script passes all

2008-12-27 02:12:04 View
[a1da97] (32.0 kB) by mtnyogi

Made engine.prove_n also return a context manager.

Changed the comments on the lookup/prove/prove_n functions to indicate that a
context manager is returned.

Still need to change documentation.

./testall only fails for 3 files in doc/source.

2008-09-16 19:30:45 View
[c203b8] (31.9 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
[4095a6] (17.1 kB) by mtnyogi

1. Finished updating sqlgen example.
2. Started updating web_framework example.

Testall works.

2008-06-04 01:40:28 View
[7ccc7b] (16.9 kB) by mtnyogi

1. More work updating sqlgen example to use new forall/notany/first/python
clauses. (More work needed).
2. Added check on anonymous constructor to make sure name starts with an

This passes testall tests.

2008-06-04 00:52:58 View
[f1a377] (17.5 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] (14.5 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
[c593ff] (14.6 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
[e67fdb] (14.6 kB) by mtnyogi

1. Moved pyke/ to pyke/ so that pyke doesn't
get imported when you unpickle plans.
2. Added 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 View
[c0848a] (14.5 kB) 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 View
[eef52e] (13.4 kB) by mtnyogi

This revision has the following:

1. Fixed bug: * modules not reloaded.
2. Added "trace" and "untrace" functions to pyke.engine.
3. Added "allow_vars" parameter to "as_data" methods.
4. Fixed bug: tuple patterns match strings.
5. Fixed bug: debug messages printed on .krb syntax errors.
6. Added sqlgen example.

2008-03-02 21:36:14 View

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

Sign up for the SourceForge newsletter:

No, thanks