Prolog is a ProgrammingLanguage? based on predicate logic. Once seen as great hope for ArtificialIntelligence it's star has faded somewhat recently.
CategoryProgrammingLanguages
4 pages link to Prolog: