Executing suspended logic programs

• Autorzy: Kowalski R. A. , Toni F. , Wetzel G.
• Języki publikacji: EN

Abstrakty

EN

We present an extension of Logic Programming (LP) which, in addition to ordinary LP clauses, also includes integrity constraints, explicit representation of disjunction in the bodies of clauses and in goals, and suspension of atoms as in concurrent logic languages. The resulting framework aims to unify Constraint Logic Programming (CLP), Abductive Logic Programming (ALP) and Semantic Query Optimisation (SQO) in deductive databases. We present a proof procedure for the new framework, simplifying and generalising previously proposed proof procedures for ALP. We discuss applications of the framework, formulating traditional problems from LP, ALP, CLP and SQO.

Słowa kluczowe

EN

Logic Programming (LP); constraint logic programming (CLP); Abductive Logic Programming (ALP); Semantic Query Optimisation (SQO); deductive databases

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 34, nr 3
• Strony: 203--224
• Opis fizyczny: bibliogr. 34 poz.

Twórcy

autor

Kowalski R. A.

autor

Toni F.

autor

Wetzel G.

• Department of Computing Imperial College of Science, Technology and Medicine London SW7 2BZ, UK,