In the two and a half years since the frrst edition of this book was published, the field of logic
programming has grown rapidly. Consequently, it seemed advisable to try to expand the …

Abstract Constraint Logic Programming (CLP) is a merger of two declarative paradigms:
constraint solving and logic programming. Although a relatively new field, CLP has …

During the past few years, many researchers have begun to present semantic specifications
in a style that has been strongly advocated by Plotkin in [19]. The purpose of this paper is to …

We present a mathematical approach to defeasible reasoning based on arguments. This
approach integrates the notion of specificity introduced by Poole and the theory of warrant …

Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in
the context of building major AI systems. By reconstructing authentic, complex AI programs …

Constraint logic programming (CLP) is a generalization of logic programming (LP) where
unification, the basic operation of LP languages, is replaced by constraint handling in a …

This article surveys the major developments in sequential Prolog implementation during the
period 1983–1993. In this decade, implementation technology has matured to such a …

Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early research …

This paper addresses the problem of constructing test data sets from formal specifications.
Starting from a notion of an ideal exhaustive test data set, which is derived from the notion of …

Natural Language Processing for Prolog Programmers Page 1 Natural Language Processing
for Prolog Programmers Michael A. Covington Artificial Intelligence Programs The University of …