Logic programming with sets

DOI10.1016/0022-0000(90)90033-HzbMath0694.68013MaRDI QIDQ909435

Gabriel M. Kuper

Publication date: 1990

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

zbMATH Keywords

Horn clausessemanticslogic programmingLPS language

Mathematics Subject Classification ID

Artificial intelligence (68T99) General topics in the theory of software (68N01)

Related Items (8)

The Relationlog system prototype ⋮ On the monotonicity of (LDL) logic programs with set. ⋮ Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates ⋮ Logic programming with sets ⋮ Interval propagation to reason about sets: Definition and implementation of a practical language ⋮ Negation in rule-based database languages: A survey ⋮ Safety, domain independence and translation of complex value database queries ⋮ Well-founded semantics and stratification for ordered logic programs

Cites Work

• Unnamed Item
• Logic programming with sets
• Implementation of logical query languages for databases
• Making prolog more expressive
• On compiling queries in recursive first-order databases
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Logic programming with sets