problem solving

Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.

Mathologer shows a simple idea, the commutator, that lets anyone who can solve the first layer design their own full Rubik's cube solution. The same idea carries over to other symmetric twisty puzzles such as the Megaminx.

John Scholes builds a depth-first tree-search operator step by step in a Dyalog APL session. It covers higher-order functions and runs the search on the N-Queens problem.