Skip to content

Instantly share code, notes, and snippets.

@schani
Created July 19, 2009 15:11
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save schani/149940 to your computer and use it in GitHub Desktop.
Save schani/149940 to your computer and use it in GitHub Desktop.
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).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment