This book celebrates the 25th anniversary of GULP---the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The topics discussed are: theoretical foundations of logic programming, program transformations, non-monotonic reasoning, constraint logic programming, concurrent logic programming, program verification, applications of logic programming, answer set programming, databases and web, agents and multi-agent systems, functional logic programming, higher order programming, and automated theorem proving. The book closes with a chapter reviewing in detail the main applications of logic programming developed in Italy and/or by Italian researchers in the last 25 years, illustrating successful work done and potential directions for future developments.PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 18a48. Springer, Heidelberg ... Springer, Heidelberg 63. Finger, M., McBrien, P., Owens, R.: Databases and ... Forgy, C.: Ops5 usera#39;s manual. Technical Report CMU-CS-81-135, Carnegie- Mellonanbsp;...

Title | : | A 25-Year Perspective on Logic Programming |

Author | : | Agostino Dovier |

Publisher | : | Springer Science & Business Media - 2010-06-30 |

Continue