|File Search||Catalog||Content Search|
Unlike Prolog, Pyke integrates with Python code allowing one to invoke Pyke from Python and intermingle Python statements and expressions within your expert system rules.
This package contains the HTML documentation for Pyke.
This example determines the relationships between people. family.py This has the primary data used by the rest of the rules. This data is established as universal facts so that it remains after an engine.reset() is done. fc_example.krb Forward-chaining example. This only uses forward-chaining rules, which means that all possible relationships are determined when the rule ba more»
This is a small example of the 'forall' clause used to gather a list of answers in both forward-chaining and backward-chaining rules. The forward-chaining and backward-chaining rules are in two different .krb files showing examples of use of the 'forall' clause in both cases. Rather than finding individual siblings and cousins, these rules find all siblings and all cousins and assert them in a s more»
This is a small example of the 'forall'/'require' clause used to verify that all of the elements a list meet some requirement. This example is done in both forward-chaining and backward-chaining rules. The forward-chaining and backward-chaining rules are in two different .krb files showing examples of use of the 'forall'/'require' clause in both cases. These rules find all people who have no st more»
This is the knapsack example taken from: http://www.ise.gmu.edu/~duminda/classes/fall03/set3.pp more»
This is an experimental Computer Based Training (CBT) program to teach the user Pyke. (Currently, i more»
This is a small example of the 'notany' clause used to verify that none of the elements of a list me more»
NOTE: This example is only a proof-of-concept and is not intended for production use! This ex more»
This solves the Towers of Hanoi puzzle through brute force but with the restrictions of never repeat more»