% LABIRINTO
% v. Casadei-Teolis, pagine 34, 39, 125.

(member X (X|_)).
(member X (_|C))  (member X C).

(not Termine)  Termine cut fail.
(not Termine).

(percorso X Y L)  (path X Y L (X)).
(path X X L L).
(path X Y L M)  (da X Z) (not (member Z M)) (path Z Y L (Z|M)).


(porta a b).
(porta b c).
(porta a e).
(porta b f).
(porta d h).
(porta e f).
(porta f g).
(porta g h).
(porta i e).
(porta f j).
(porta h l).
(porta i j).
(porta k l).

(da X Y)  (porta X Y).
(da X Y)  (porta Y X).

(vicine X Y Z)  (da X Z) (da Z Y).