| 7-11-2005 | |
- Updated pylogical.tgz with new examples and a few
bug fixes. This code has a few experimental pieces:
- Some built-in operators on logic variables. Currently testing
subtract and greater-than.
- Using Relation.__ (two underscores) to represent an "any" match.
- Using _ within inference declarations to reference local logic
variables
And, as always, this code is in a lot of flux. Even style is constantly
changing and inconsistant (at present).
|
| 7-9-2005 | |
- Updated pylogical.tgz. Now includes prolog_examples.py which run
a series of tests derived directly from prolog code examples found
on the Internet. Specifically, all (but one) of the examples at
http://www.csse.monash.edu.au/~lloyd/tildeLogic/Prolog.toy/Examples/
are now implemented in Pylogical. It should be noted that these are just
toy examples, but they are a good start.
|
| 7-7-2005 | |
- Web site created.
- The functional.py and pylogical.py
(experimental) libraries are available for download.
|
