Prolog is a ProgrammingLanguage based on PredicateLogic, and was once seen as a great hope for ArtificialIntelligence. It has since faded from common interested but is still being used extensively in research especially wherever linguistics and computer science intersect (but also for many other kinds of language processing).
4 pages link to Prolog:
