Logic Programming
Title | Logic Programming PDF eBook |
Author | Robert Kowalski |
Publisher | MIT Press (MA) |
Pages | 866 |
Release | 1988 |
Genre | Logic programming |
ISBN |
These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic Programming is included in the Logic Programming series Research Reports and Notes, edited by Ehud Shapiro.
... International Symposium on Logic Programming
Title | ... International Symposium on Logic Programming PDF eBook |
Author | International Symposium on Logic Programming |
Publisher | |
Pages | 311 |
Release | 1984 |
Genre | |
ISBN |
Symposium on Logic Programming
Title | Symposium on Logic Programming PDF eBook |
Author | |
Publisher | |
Pages | 550 |
Release | 1987 |
Genre | Computer programming |
ISBN |
Nineteen hundred and eighty-five 1985 Symposium on Logic Programming
Title | Nineteen hundred and eighty-five 1985 Symposium on Logic Programming PDF eBook |
Author | Symposium on Logic Programming (1985, Boston, Mass.) |
Publisher | |
Pages | 271 |
Release | 1985 |
Genre | |
ISBN | 9780818606366 |
Programming Language Implementation and Logic Programming
Title | Programming Language Implementation and Logic Programming PDF eBook |
Author | Jan Małuszyński |
Publisher | Springer Science & Business Media |
Pages | 452 |
Release | 1991-08-14 |
Genre | Computers |
ISBN | 9783540544449 |
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.
Symposium on Logic Programming
Title | Symposium on Logic Programming PDF eBook |
Author | Institute of Electrical and Electronics Engineers (New York, NY) |
Publisher | |
Pages | |
Release | 1984 |
Genre | |
ISBN |
Logic Programming
Title | Logic Programming PDF eBook |
Author | David S. Warren |
Publisher | MIT Press |
Pages | 884 |
Release | 1993 |
Genre | Computers |
ISBN | 9780262731058 |
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.