Relation SUBLIST


Slots on this relation:

Documentation:
The sentence {tt (sublist $tau_1$ $tau_2$)} is true if and only if the object denoted by $tau_1$ is a final segment of the list denoted by $tau_2$.
Arity: 2
Domain: List
Range: List

Axioms:

(=> (Sublist ?L1 ?L2) (Or (= ?L1 ?L2) (Sublist ?L1 (Rest ?L2))))