neighbours.prolog

triplet(n0, edge, n1).

triplet(n1, edge, n0).
triplet(n1, edge, n2).

triplet(n2, edge, n1).
triplet(n2, edge, n3).

triplet(n3, edge, n2).
triplet(n3, edge, n4).

triplet(n4, edge, n3).
triplet(n4, edge, n5).

triplet(n5, edge, n4).
triplet(n5, edge, n6).

triplet(n6, edge, n5).
triplet(n6, edge, n7).

triplet(n7, edge, n6).
triplet(n7, edge, n8).

triplet(n8, edge, n7).
triplet(n8, edge, n9).

triplet(n9, edge, n8).
triplet(n9, edge, n10).

triplet(n10, edge, n9).
triplet(n10, edge, n11).

triplet(n11, edge, n10).
triplet(n11, edge, n12).

triplet(n12, edge, n11).
triplet(n12, edge, n13).

triplet(n13, edge, n12).
triplet(n13, edge, n14).

triplet(n14, edge, n13).
triplet(n14, edge, n15).

triplet(n15, edge, n14).
triplet(n15, edge, n16).

triplet(n16, edge, n15).
triplet(n16, edge, n17).

triplet(n17, edge, n16).
triplet(n17, edge, n18).

triplet(n18, edge, n17).
triplet(n18, edge, n19).

triplet(n19, edge, n18).
triplet(n19, edge, n20).

triplet(n20, edge, n19).

:- findall([N1,N2,N3,N4,N5,N6,N7,N8,N9,N10,N11,N12,N13,N14,N15,N16,N17,N18,N19],
	(triplet(n0, edge, N1),
	triplet(N1, edge, N2),
	triplet(N2, edge, N3),
	triplet(N3, edge, N4),
	triplet(N4, edge, N5),
	triplet(N5, edge, N6),
	triplet(N6, edge, N7),
	triplet(N7, edge, N8),
	triplet(N8, edge, N9),
	triplet(N9, edge, N10),
	triplet(N10, edge, N11),
	triplet(N11, edge, N12),
	triplet(N12, edge, N13),
	triplet(N13, edge, N14),
	triplet(N14, edge, N15),
	triplet(N15, edge, N16),
	triplet(N16, edge, N17),
	triplet(N17, edge, N18),
	triplet(N18, edge, N19),
	triplet(N19, edge, n20)), X), print(X).