the-power-of-prolog


  • Prolog is a **programming language** that is rooted in formal logic. It supports *backtracking* and *unification* as built-in features. Prolog allows us to elegantly solve many tasks with short and general programs.