Logic Programming with Sets
The advantages ensuing from the availability of set data abstractions in a high-level programming language are widely recognized. In particular, sets can be used conveniently in languages for rapid software prototyping, where the speed of execution—although desirable—is not the most stringent requirement; and in problem-specification languages, where specifications are not even expected to be always executable. Highly representative languages which embody sets are Z [Spi88], SETL [SDDS86], and Gödel [HL94].
KeywordsLogic Program Logic Programming Execution Model Deductive Database System Predicate
Unable to display preview. Download preview PDF.