Software

Prolog

programming language that uses first order logic

Overview text may include a short Wikipedia extract. See sources.

Also known as Programming in Logic

Wikipedia article Wikidata item