Knowledge Science GroupDept of Computer ScienceUniveristy of Calgary
| Class | Description |
|---|---|
| BinaryFunction | |
| BinaryPredicate | |
| BuiltInPredicate | |
| CardFunction |
(card ??set ??card)
|
| ConcatFunction | |
| ConstantFunction | |
| DifferenceFunction |
(- ??n1 ??n2)
|
| DivisionFunction |
(+ ??n1 ??n2)
|
| LesserThanOrEqualPredicate |
(<= ??x1 ??x2)
|
| LesserThanPredicate |
(< ??x1 ??x2)
|
| MemberPredicate |
(member ??x ??set_or_sequence)
|
| NowFunction | |
| NthPredicate |
(nth ??n ??elem ??sequence)
(n=0 pour le 1er �l�ment de la sequence)
|
| ProductFunction |
(+ ??n1 ??n2)
|
| SumFunction |
(+ ??n1 ??n2)
|
| TernaryPredicate | |
| UnaryFunction | |
| UnaryPredicate | |
| YearFunction |
(card ??set ??card)
|