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:
lib/main.php:944: Notice: PageInfo: Cannot find action page