LEORDO Computation Platform
Known Minor Bugs in the Current Distribution
The following are some points where the present implementation does not agree with the most recent distribution of a
Path-1
individual. This will be corrected in the implementation; the documentation will remain.
KR Framework: Overview of Languages and Mechanisms
- The union function can not be used as infix, only as prefix
- The propositional connective imp is not defined
- The operation output causes an error in execution
- The loop variable in the repeat operator must be given as a symbol and not as a varible as the first "argument" of repeat (example below)
- The with operator does not work correctly
- In definitions using def it is not possible to use the predicate equal in infix mode, only as prefix.
Example:
[repeat i [put .i have-seen true]]
Managing Information Aggregates in the KR Framework
- The operator addent is undefined (mentioned in Section 3.2)
- The attribute read-in-file is only partially available
- The operator Cur shall be given with one argument. The argument is not in use, however.
List Processing in the KR Framework
- The function en gives the wrong results
- For definitions using def see above. (Compare Section 2.7).
- The function type-of gives the wrong value
- The predicate gt and its negation -gt cause an error in execution. However gt= executes correctly.
- Note that the function sort with str.prec as its second argument will only work correctly for a sequence where all elements are strings, and not if there are e.g. symbols or numbers in the sequence.
Miscellaneous
According to the command-line conventions, if a command line starts with a full stop (i.e. a point) then the rest of the line will be assumed to be an S-expression and it will be given to the CommonLisp interpreter. This is inconvenient if one really wishes to obtain the value of a Leonardo session variable since it is by convenion preceded by a full stop as well. In this case one may use the command
show
like in the following example.
ses.263) ssv .a {b c d}
ses.264) show .a
{b c d}
Posted on 2011-03-08 as part of the LEORDO website.