Skip to content

Instantly share code, notes, and snippets.

@batate
Last active November 8, 2019 15:08
Show Gist options
  • Save batate/f8f02d389c56186d8260a81701be20ae to your computer and use it in GitHub Desktop.
Save batate/f8f02d389c56186d8260a81701be20ae to your computer and use it in GitHub Desktop.
States coloring problem in Prolog
/* see more at grox.io */
different(red, green). different(red, blue).
different(green, red). different(green, blue).
different(blue, red). different(blue, green).
coloring(Alabama, Mississippi,
Georgia, Tennessee, Florida) :-
different(Mississippi, Tennessee),
different(Mississippi, Alabama),
different(Alabama, Tennessee),
different(Alabama, Mississippi),
different(Alabama, Georgia),
different(Alabama, Florida),
different(Georgia, Florida),
different(Georgia, Tennessee).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment