The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.
Get an email when there's a new version of Common Lisp Reasoner
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Common Lisp Reasoner, Version 3.6.tar.gz | 2017-10-19 | 149.0 kB | |
| Common Lisp Reasoner, Version 3.6.zip | 2017-10-19 | 171.8 kB | |
| README.md | 2017-10-19 | 592 Bytes | |
| Totals: 3 Items | 321.3 kB | 1 | |
Changes Since Last Release
A variant of the standard ATMS, basic-atms, which uses less storage, has been introduced.
The distinguished false node has been incorporated into the ATMS object, making it easier to create and use multiple ATMSs. add-contradiction and added-assumption now require a tms argument.
Bug fixes
A non-local exit from a user-supplied method within backtrack caused a return value of nil to be cached.
Checking of class hierarchy slot type compatibility, once an instance had been created, thwarted the redefinition of multiple classes.