XProlog is a logic programming language that extends Prolog by incorporating notions of
higher-order functions, A-terms, higher-order unification, polymorphic types, and …

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 …

A general logic program (abbreviated to “program” hereafter) is a set of roles that have both
positive and negative subgoals. It is common to view a deductive database as a general …

Ontologies were developed in Artificial Intelligence to facilitate knowledge sharing and
reuse. Since the beginning of the nineties ontologies have become a popular research topic …

Answer set programming (ASP) is a form of declarative programming oriented towards
difficult search problems. As an outgrowth of research on the use of nonmonotonic …

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

In this paper we reexamine the place and role of stable model semantics in logic
programming and contrast it with a least Herbrand model approach to Horn programs. We …

Metadata for the World Wide Web is important, but metadata for Peer-to-Peer (P2P)
networks is absolutely crucial. In this paper we discuss the open source project Edutella …

Abstract With Linked Data, a very pragmatic approach towards achieving the vision of the
Semantic Web has gained some traction in the last years. The term Linked Data refers to a …

We survey here various approaches which were proposed to incorporate negation in logic
programs. We concentrate on the proof-theoretic and model-theoretic issues and the …