Prolog is a ProgrammingLanguage based on predicate logic. Once seen as great hope for ArtificialIntelligence it's star has faded somewhat recently.
4 pages link to Prolog:
lib/main.php:944: Notice: PageInfo: Cannot find action page