SubListFn |
appearance as argument number 1 |
(documentation SubListFn EnglishLanguage "A Function that returns a portion of the List that runs from the first index to the second index - 1. Note that lists subscripts begin at 1.") | Merge.kif 3165-3166 | |
(domain SubListFn 1 Integer) | Merge.kif 3161-3161 | Le nombre 1 argument de SubListFn est une instance de nombre entier |
(domain SubListFn 2 Integer) | Merge.kif 3162-3162 | Le nombre 2 argument de SubListFn est une instance de nombre entier |
(domain SubListFn 3 List) | Merge.kif 3163-3163 | Le nombre 3 argument de SubListFn est une instance de liste |
(instance SubListFn TernaryFunction) | Merge.kif 3160-3160 | SubListFn est une instance de fonction ternaire |
(range SubListFn List) | Merge.kif 3164-3164 | Le domaine de SubListFn est une instance de liste |
appearance as argument number 2 |
(format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3") | Merge.kif 3168-3168 | |
(termFormat EnglishLanguage SubListFn "sub-list function") | Merge.kif 3167-3167 |
antecedent |
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 0)) (equal ?R NullList)) |
Merge.kif 3170-3177 |
|
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S)))) |
Merge.kif 3179-3188 |
|
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (greaterThan (SubtractionFn ?E ?S) 1)) (equal ?R (ListConcatenateFn (ListFn (ListOrderFn ?L ?S)) (SubListFn (AdditionFn 1 ?S) ?E ?L)))) |
Merge.kif 3190-3202 |
|
consequent |