From the hub, tagged: "Puzzle"

A List of All Different Variables

This post is external to PrologHub

I 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.