Theory of partial-order programming

S. Abiteboul, S. Grumbach, A rule-based language with functions and sets, ACM Trans. Database Systems 16 (1) 1–30. Aho, 1977 Beeri, 1991, Set constructors in a logic database language, J. Logic Programming, 10, 181, 10.1016/0743-1066(91)90036-O Breazu-Tannen, 1991, Structural recursion as a query language Dix, 1992, A framework for representing and characterizing semantics of logic programs, 591 Dovier, 1993, Embedding extensional finite sets in CLP, 540 Hanus, 1994, The integration of functions into logic programming: from theory to practice, J. Logic Programming, 19/20, 583, 10.1016/0743-1066(94)90034-5 Hölldobler, 1989, Foundations of Equational Logic Programming, 10.1007/BFb0015791 Jana, 1994, Semantics of subset logic languages Jana, 1997, Set constructors, finite sets, and logical semantics, J. Logic Programming Jayaraman, 1992, Implementation of subset-equational programs, J. Logic Programming, 12, 299, 10.1016/0743-1066(92)90005-N Jayaraman, 1987, Functional programming with sets, 194 Jayaraman, 1989, Programming with equations, subsets, and relations, 1051 Kemp, 1991, Semantics of logic programs with aggregates, 387 Levi, 1988, A complete semantic characterization of K-leaf: A logic language with functions, 993 Liu, 1995, Relationlog, A typed extension to datalog with sets and tuples, 83 Lloyd, 1987 Manna, 1974 Mendelson, 1987 Michie, 1968, ‘Memo’ functions and machine learning, Nature, 218, 19, 10.1038/218019a0 Moon, 1997, Implementation of subset-logic languages Osorio, 1995, Semantics of logic programs with sets Osorio, 1997, Aggregation and well-founded semantics+, 71 Parker, 1989, Partial order programming, 260 Przymusinski, 1988, On the declarative semantics of stratified deductive databases and logic programs, 193 Ross, 1992, Monotonic aggregation in deductive databases, 114 Sudarshan, 1993, Extending the well-founded and valid semantics for aggregation, 590 Suppes, 1972 Van Gelder, 1992, The well-founded semantics of aggregation, 127 Warren, 1983, An abstract prolog instruction set