FRDCSA
Minor
Internal
External
Git
Packages
the-power-of-prolog
Jump To:
Parent Description
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.