Tree [ff7730] default /

File Date Author Commit
 Test 2009-10-25 mtnyogi mtnyogi [87e5be] Dropped all of the sub-testX scripts.
 doc 2009-10-25 mtnyogi mtnyogi [87e5be] Dropped all of the sub-testX scripts.
 examples 2009-10-28 mtnyogi mtnyogi [ff7730] merged and tested
 experimental 2009-10-28 mtnyogi mtnyogi [ff7730] merged and tested
 pyke 2009-10-28 mtnyogi mtnyogi [ff7730] merged and tested
 .hgignore 2009-07-25 mtnyogi mtnyogi [c9dde1] Added .hgignore
 .hgtags 2009-10-19 mtnyogi mtnyogi [f9977b] Added tag 1.0.3 for changeset ca5211a03a2d 2009-10-24 mtnyogi mtnyogi [3e0ae6] Cleaning up test scripts.
 README 2009-10-28 mtnyogi mtnyogi [ff7730] merged and tested
 RELEASE_NOTES-0.1.alpha1 2007-11-09 mtnyogi mtnyogi [141a36] First try at 0.1.alpha1
 RELEASE_NOTES-0.1.alpha2 2008-02-13 mtnyogi mtnyogi [66bbff] This should be the alpha2 release!
 RELEASE_NOTES-0.2 2008-03-06 mtnyogi mtnyogi [5a44bd] Release 0.2
 RELEASE_NOTES-0.3 2008-06-08 mtnyogi mtnyogi [4ca57f] Release 0.3
 RELEASE_NOTES-0.4 2008-08-30 mtnyogi mtnyogi [00a03b] Final commit for release 0.4.
 RELEASE_NOTES-0.5 2008-11-09 mtnyogi mtnyogi [1b9ce9] - finished RELEASE_NOTES-0.5
 RELEASE_NOTES-0.6 2008-12-31 mtnyogi mtnyogi [a022d9] - Checking in Release documentation for 0.6 rel...
 RELEASE_NOTES-0.7 2009-01-17 mtnyogi mtnyogi [500e14] - Preparing release 0.7
 RELEASE_NOTES-1.0 2009-03-18 mtnyogi mtnyogi [dce036] Preparing release 1.0
 RELEASE_NOTES-1.0.1 2009-04-02 mtnyogi mtnyogi [3f628a] - Initial commit for release 1.0.1.
 RELEASE_NOTES-1.0.2 2009-04-21 mtnyogi mtnyogi [54a3fb] Setting up for release 1.0.2.
 RELEASE_NOTES-1.0.3 2009-10-19 mtnyogi mtnyogi [ca5211] Documentation paraphernalia for release 1.0.3.
 copyright_license 2007-10-15 mtnyogi mtnyogi [9cc939] Added svn:keywords properties. Some work on doc... 2009-04-21 mtnyogi mtnyogi [2f5b42] - Added test with compiled_krb files in eggs.
 hgrc_keywords 2009-07-25 mtnyogi mtnyogi [c9dde1] Added .hgignore
 make_doc_tarball 2009-10-18 mtnyogi mtnyogi [ef8783] Removed .svn directories from find commands.
 make_examples_tarball 2009-10-18 mtnyogi mtnyogi [ef8783] Removed .svn directories from find commands. 2009-10-20 mtnyogi mtnyogi [12a260] Post release cleanup (after 1.0.3 release)...
 testall 2009-10-28 mtnyogi mtnyogi [ff7730] merged and tested

Read Me

Pyke: Python Knowledge Engine

Version: 1.0.3

Both forward-chaining and backward-chaining rules (which may include python
code) are compiled into python. Can also automatically assemble python
programs out of python functions which are attached to backward-chaining


This is published under the MIT License.  The copyright and license are in
the file "copyright_license".


The documentation is at:

You can download a copy of this documentation to your hard drive:


See the end of this file for how to regenerate the html files.


Pyke requires python 2.5 (or later 2.x release).  Check with:

    $ python --version

You can download this at:

There is another branch of Pyke that is ready for Python3.x.  If you want
Python3.x support, read this:

Otherwise (if you want Pyke on Python2.5 or later 2.x release)...

To install pyke with easy_install, at the shell prompt just type:

    $ easy_install pyke

If you don't have easy_install, you can install it by looking at:

Then you've got two choices for pyke:

    pyke-1.0.3-py2.5.egg or pyke-1.0.3-py2.6.egg (used by easy_install)
 or the source distribution (see next section)


The pyke source distribution is the file:


This contains the pyke source code, documentation (both source and html), and


Pyke examples may be downloaded separately from sourceforge if you've used
easy_install to install pyke (or installed the .egg file):


You need to unpack this into a directory that is on your PYTHON PATH.

Each example has a README file that explains how to run it.

The family_relations example is a good place to start.  It shows several
solutions to the same problem.  It also has an example of a few rule
optimizations that result in a 100 times performance improvement on this

The sqlgen example uses Sqlite3 (or MySQL) and the python sqlite3 (or MySQLdb)
modules.  It has a function that reads the schema information into pyke facts.
Then the rules in database.krb automatically figure out how to join tables
together to retrieve a list of column names, generate the SQL select
statements and return a plan to execute this SQL statement and return the
results as a dictionary.

The web_framework example uses the sqlgen example.  This demonstrates the use
of multiple rule bases.  The web_framework is a WSGI application that uses the
HTMLTemplate package (install this with "easy_install HTMLTemplate", be sure to
get version 1.5 or later).  It gets the column names from the HTMLTemplate and
feeds those to the sqlgen example to generate a plan to retrieve the data.  It
then builds a plan to populate the template and return the finished HTML
document.  It also caches the plans so that they don't have to be re-generated
for each request.  This makes it run a full 10 times faster than the same
example done in TurboGears 2!  The example includes a wsgiref simple_server
setup to run it as an http server so that you can access it through your

The learn_pyke example is an incomplete attempt at a computer based training
program.  It only deals with the topic of pattern matching.  It is left here
as an example of using question bases.

The findall, forall, knapsack, notany and towers_of_hanoi examples are each
very small.


    $ python install


Pyke uses the doctest-tools package to run its doctests.  You can run the
"testall" program from doctest-tools in any subdirectory, or in the top-level
directory.  You can install doctest-tools with:

    $ sudo easy-install doctest-tools

The top-level directory also has it's own "testall" script that removes all
compiled_krb directories, then runs the standard testall scripts twice.  The
first time forces pyke to recompile everything, and the second time runs the
same tests again having pyke re-use the compiled results from the previous
run.  This "testall" program should not be on your path, so run it as:

    $ ./testall

to distinguish it from the "testall" program installed with doctest-tools.


    $ python
    >>> from pyke.krb_compiler import kfbparser, krbparser, scanner
    >>> scanner.init(scanner, 0, True)
    >>> krbparser.init(krbparser, True)
    >>> kfbparser.init(kfbparser, True)

    or just run the "testall" program from the doctest-tools package:

    $ cd pyke/krb_compiler
    $ testall


In pyke/krb_compiler:

    $ PYTHONPATH=../.. python
    >>> from pyke import krb_compiler
    >>> krb_compiler.compile_krb('compiler', 'compiled_krb', 'compiled_krb', 'compiler.krb')
    $ mv compiled_krb/ .


To compile the documentation into html, you'll need docutils and rest2web.
If you're running linux, your distro may have packages for these already.
Or you can:

    $ easy_install rest2web

I used version 0.4.1 of docutils and 0.5.0 of rest2web.  I don't know if
earlier versions work OK or not.

To check your versions:

    $ python
    >>> import docutils
    >>> docutils.__version__
    >>> import rest2web
    >>> rest2web.__version__

If your linux distro doesn't have packages for these, and you don't want to
use easy_install, you can get them at:

To regenerate the html:

    $ cd doc/source
    $ bin/gen_html

This regenerates everything from doc/source into doc/html.  It takes about
9 seconds to run.

If you want to run doctest on all of the *.txt files in doc/source, use the
"testall" program from the doctest-tools package:

    $ cd doc
    $ testall