Prolog

Prolog is an acronym for "programmation en logique" which is French and can be translated as "Programming in logic". It is currently the most important logical programming language and is a declarative language.

• Homepage: https://www.swi-prolog.org/
• Devel Project: https://build.opensuse.org/project/show/devel:languages:prolog