Abstract: "I provide a personal memoir on work that I have done and describe research that influenced my work that led to results in the foundation of disjuncti
This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost
The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from l
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences