A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dovier, Agostino (Editor), Pontelli, Enrico (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6125
• Subjects: Computer science.; Software engineering.; Computer programming.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Mathematics of Computing.; Theory of Computation.

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and...