Prolog: The Next 50 Years
David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi
Topics & Concepts
PrologComputer scienceField (mathematics)Programming languageSoftware engineeringMathematicsPure mathematicsMulti-Agent Systems and NegotiationLogic, Reasoning, and KnowledgeLogic, programming, and type systems