consult(init).
goedel.
;cs Inclusion.
;c Inclusion.
;l Inclusion.
IncludedIn([1, 3, 2], [4,3, 2, 1]).

IncludedIn([1, 5, 2], [4,3, 2, 1]).

halt.