Penguin
Recent Changes
Note: You are viewing an old revision of this page. View the current version.

Prolog is a ProgrammingLanguage based on predicate logic. Once seen as great hope for ArtificialIntelligence it's star has faded somewhat recently.