From the hub, tagged: "Puzzle"
A List of All Different Variables
This post is external to PrologHubI got sucked in to golfing a logic puzzle and managed to nerd-snipe myself into implementing a simple way to say “all of these list of variables are different”; this is that story.