remove -> from interpret for cawmp to work findall in try interpret - List Prolog and Prolog are useful for single-line of execution (not nondeterminism, but if-then) of programs. Use for generating programs, but mainly program own algs which may be nondeterministic.