{log}: a language for programming in logic with finite sets

Journal of Logic Programming

Volumn 28, Issue 1, 1996, Pages 1-44

  Dovier, Agostino ^a   Omodeo, Eugenio G ^a   Pontelli, Enrico ^a   Rossi, Gianfranco ^a  

^a UNIVERSITY OF PARMA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING; MEMBERSHIP FUNCTIONS; PROGRAMMING THEORY; SET THEORY;

AXIOMS; ELEMENT INSERTION OPERATOR; FINITE SETS; HERBRAND UNIVERSE; LOGIC PROGRAMMING LANGUAGES; UNIFICATION ALGORITHMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030193340     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(95)00147-6     Document Type: Article

References (55)

1. S. Abiteboul S. Grumbach A Rule-Based Language with Functions and Sets ACM Trans. Database Syst. 16 1 1991 1 30
2. P. Aczel Non-Well-Founded Sets 2nd ed. Lecture Notes Vol. 14 1988 Center for the Study of Language and Information Stanford, CA
3. M. Adi C. Kirchner AC-Unification Race: The System Solving Approach and Its Implementation A. Miola Proc. of the Intl. Symp. DISCO'90 2nd ed. Lecture Notes in Computer Science Vol. 429 1990 Springer-Verlag New York
4. H. Aït-Kaci Warren's Abstract Machine—A Tutorial Reconstruction 1991 The MIT Press Cambridge, MA
5. J. Barwise L. Moss Hypersets The Mathematical Intelligencer 13 4 1991 31 41
6. C. Beeri S. Naqvi R. Ramakrishnan O. Shmueli S. Tsur Sets and Negation in a Logic Database Language (LDL1) Proceedings of the 6th ACM SIGMOD Symposium 1987
7. C. Beeri S. Naqvi O. Shmueli S. Tsur Set Constructors in a Logic Database Language J. Logic Programming 10 3 1991 181 232
8. P. Bruscoli A. Dovier E. Pontelli G.-F. Rossi Compiling Intensional Sets in CLP P. Van Hentenryck Proceeding of the 11th International Conference on Logic Programming 1994 The MIT Press Cambridge, MA
9. H.-J. Burckert A Resolution Principle for a Logic with Restricted Quantifiers 1991 Springer-Verlag New York
10. W. Büttner Unification in the datastructure sets J.H. Siekmann Proceedings of the 8th International Conference on Automated Deduction 2nd ed. Lecture Notes in Computer Science Vol. 230 1986 Springer-Verlag New York
11. D. Cantone A. Ferro E.G. Omodeo 2nd ed. Computable Set Theory Vol. 1 1989 Clarendon Press Oxford
12. L. Cavedon J.W. Lloyd A completeness Theorem for SLDNF-Resolution J. Logic Programming 7 3 1989 177 191
13. D. Chan Constructive Negation Based on the Completed Database R.A. Kowalski K.A. Bowen Proceedings of the North American Conference on Logic Programming'89 1989 The MIT Press Cambridge, MA
14. K.L. Clark Negation as Failure H. Gallaire J. Minker Logic and Data Bases 1978 Plenum Press New York
15. M. Dincbas P. Van Hentenryck H. Simonis A. Aggoun The Constraint Logic Programming Language CHIP Proceedings of the 2nd International Conference on Fifth Generation Computer Systems Tokyo 1988
16. A. Dovier E.G. Omodeo E. Pontelli G.-F. Rossi {log}: A Logic Programming Language with Finite Sets K. Furukawa Proceedings of the 8th International Conference on Logic Programming 1991 The MIT Press Cambridge, MA
17. A. Dovier E.G. Omodeo E. Pontelli G.-F. Rossi Embedding Finite Sets in a Logic Programming Language E. Lamma P. Mello Proceedings of the 3rd Workshop on Extensions of Logic Programming 1992 2nd ed. Lecture Notes on Artificial Intelligence Vol. 660 1993 Springer-Verlag New York
18. A. Dovier E.G. Omodeo A. Policriti G.-F. Rossi Solving Systems of Equations Over Hypersets M. Alpuente R. Barbuti I. Ramos GULP-PRODE'94: Joint Conference on Declarative Programming Peñiscola (Spain) 1994
19. A. Dovier E. Pontelli La Programmazione Logica con Insiemi 2nd ed. “Laurea” Thesis 1991 University of Udine
20. A. Dovier E. Pontelli A WAM Implementation of a Logic Programming Language with Sets M. Bruynooghe J. Penjam Proceedings of the Programming Language Implementations and Logic Programming'93 2nd ed. Lecture Notes of Computer Science Vol. 714 1993 Springer-Verlag New York
21. A. Dovier E. Pontelli G.-F. Rossi The CLP Language {log}, and the Relation Between Intensional Sets and Negation 2nd ed. Technical Report NMSU-CSTR-9503 1995 Dept. of Computer Science, New Mexico State University
22. A. Dovier G.-F. Rossi Embedding Extensional Finite Sets in CLP D. Miller Proceedings of the 4th International Logic Programming Symposium Vancouver 1993 The MIT Press Cambridge, MA
23. H.B. Enderton A Mathematical Introduction to Logic 1973 Academic Press New York
24. D. Fogli M. Gaspari G.-F. Rossi Adding Sets and Multisets to Gödel Presented at the workshop on programming in Gödel University of Manchester 14–15 April, 1994
25. C. Gervet Conjunto: Constraint Logic Programming with Finite Set Domains Proceedings of the 1994 International Symposium on Logic Programming 1994 The MIT Press Cambridge, MA
26. P. Hill J. Lloyd The Gödel Programming Language 1994 The MIT Press Cambridge, MA
27. J. Jaffar J.L. Lassez From Unification to Constraints Proceedings of the 5th Conference on Logic Programming Tokyo 1987
28. B. Jayaraman D.A. Plaisted Programming with Equations, Subsets and Relations Proceedings of the North American Conference on Logic Programming'89 1989 The MIT Press Cambridge, MA
29. B. Jayaraman Implementation of Subset-Equational Programs J. Logic Programming 12 4 1992 299 324
30. T.J. Jech Set Theory 1978 Academic Press New York
31. D. Kapur P. Narendran NP-Completeness of the Set Unification and Matching Problems J.H. Siekmann Proceedings of the 8th International Conference on Automated Deduction 2nd ed. Lecture Notes in Computer Science Vol. 230 1986 Springer-Verlag New York
32. G.M. Kuper On the Expressive Power of Logic Programming with Sets Proceedings of the 7th ACM SIGMOD Symposium 1988
33. G.M. Kuper Logic Programming with Sets J. Comput. Syst. Sci. 41 1 1990 44 64
34. J.L. Lassez M.J. Maher K. Marriot Unification Revisited M. Boscarol L. Carlucci Aiello G. Levi Foundations of Logic and Functional Programming 2nd ed. Lecture Notes in Computer Science Vol. 306 1986 Springer-Verlag New York
35. B. Legeard E. Legros CLPS: A Set Constraints Logic Programming Language 2nd ed. Research Report February 1991 Laboratoire d'Automatique de Besançon, Institut de Productique Besançon, France
36. E. Legros Tests de Satisfiabilité dans un Language de Programmation en Logique avec Contraintes Ensemblistes 2nd ed. Ph.D. Thesis 1993 Université de Franche-Comté
37. M. Livesey J. Siekmann Unification of Sets and Multisets 2nd ed. Internal Report Memo SEKI-76-II 1976 Institut für Informatik I, Universität Karlsruhe
38. J.W. Lloyd Foundations of Logic Programming 2nd ed. 1987 Springer-Verlag New York
39. A. Martelli U. Montanari An Efficient Unification Algorithm ACM TOPLAS 4 1982 258 282
40. T. Munakata Notes on Implementing Sets in Prolog Communications of the ACM 35 3 1992 112 120
41. M. Naftalin An Experiment in Practical Semantics 2nd ed. Lecture Notes in Computer Science Vol. 213 1986 Springer-Verlag New York
42. S. Naqvi S. Tsur A Logical Language for Data and Knowledge Bases 1989 Computer Science Press Rockville, MD
43. M.S. Paterson M.N. Wegman Linear Unification 1976 IBM Thomas J. Watson Research Center Yorktown Heights
44. E. Pontelli Logic Programming with Sets: Theory and Implementation 2nd ed. M.Sc. Thesis 1992 University of Houston Houston, TX
45. J.T. Schwartz R.B.K. Dewar E. Dubinsky E. Schonberg Programming with Sets An Introduction to SETL 1986 Springer-Verlag New York
46. J.C. Shepherdson Negation in Logic Programming J. Minker Foundations of Deductive Databases and Logic Programming 1987 Morgan Kaufmann Los Altos, CA
47. O. Shmueli S. Tsur C. Zaniolo Compilation of Set Terms in the Logic Data Language (LDL) J. Logic Programming 12 1 1992 89 119
48. J.H. Siekmann Unification Theory J. Symbolic Comput. 7 1 1989 207 274
49. R. Sigal Desiderata for Logic Programming with Sets P. Mello Proceedings of the GULP89: 4th National Conference on Logic Programming Bologna (Italy) 1989
50. J.M. Spivey 2nd ed. The Z Notation: A Reference Manual 1992 Prentice-Hall Englewood Cliffs, NJ
51. M.E. Stickel A Unification Algorithm for Associative-Commutative Functions J. of the ACM 28 3 1981 423 434
52. P.J. Stuckey Constructive Negation for Constraint Logic Programming Proceedings of the 6th IEEE Symposium on Logic in Computer Science 1991 IEEE Computer Society Press New York
53. D. Turner An Overview of Miranda SIGPLAN Not. 21 12 1986 158 166
54. J.D. Ullman Principles of Database and Knowledge-Base Systems Vols. 1 and 2 1989 Computer Science Press Rockville, MD
55. D.S. Warren Memoing for Logic Programs Communications of the ACM 35 3 1992 93 111