Prolog for theorem proving, expert systems, type inference systems, and automated planning...
2017-05-25 | #programming #prolog
In the name of the father of Prolog (Alain_Colmerauer who died few days ago), I’ll show how to use Prolog for solving a common business problem: finding the paths in a graph between two nodes.