The Logic Programming Paradigm: A 25-year Perspective
Krzysztof R. Apt
Springer, 1999 - Computers - 456 pages
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Concurrent and Agent Programming
A General MultiAgent System Architecture
Towards a Specification Methodology
144 other sections not shown
a-closed abstract abstract interpretation agents algorithm analysis answer sets applications approach Artificial Intelligence assertions atoms called CaseLP clauses CLP(R compile-time compiler components Computational Logic Computer Science concurrent logic constraint logic programming constraint programming database debugging declarative defined definition denotational semantics domain dynamical systems efficient example execution exons expressed extended finite first-order fixed points formulas framework functional languages functional programming given goal grammar gramming Herbrand Horn clauses Horn logic Horn logic programming implementation inductive logic programming instance interpretation interval introns Jinni Journal of Logic linear logic logic formalism logical denotational natural language NDFSA negation optimization paradigm parse partial evaluation performance possible predicate problem Proc programming language Prolog properties proteins query recursive represent Section semantic algebra sequence server SLP program solver solving specification Springer-Verlag stable model semantics subset syntax techniques Theorem theory tion tree valuation variables