Please Make a Donation:
Support This Project

Hosted by:
Get Python Knowledge Engine (PyKE) at Fast, secure and Free Open Source software downloads

Logic Programming Tutorial

Pyke is an inference engine that applies rules to facts to establish additional facts (through forward-chaining rules), and/or to prove goals and optionally assemble Python functions into customized call graphs, called plans (through backward-chaining rules).

Pyke may then be reset, deleting the last set of facts, so that the cycle may be repeated. For each cycle a different rule base may be activated.

The plan capability allows the postponement of code execution until the top-level goal has been completely proven. This shields the code from blind alleys and the backtracking that occurs within the rules.

Once a plan has been created, it may be executed multiple times with different arguments. It may also be pickled, and later run again only requiring one small Pyke module.

Pyke also provides an end user question capability, as well as the capability to run commands on the local system to guide the inferencing.



What is a statement in Pyke?

Pattern Matching

Explanation of pattern matching and pattern variables.


Explanation of rules, forward-chaining and backward-chaining.

Plans and Automatic Program Generation

Explanation of plans and automatic program generation.

Page last modified Thu, May 14 2009.