From the hub, in category: "Puzzles"
Using A* for Planning
This post is external to PrologHubCreate a domain for planning in and code A* to search for a path to the goal.
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.