Nondeterministic Programming in Java with JSetL

• Autorzy: Rossi G. , Bergenti F.

Identyfikatory

DOI

10.3233/FI-2015-1260

• Konferencja: Italian Conference on Computational Logic, CILC 2013, (25-27.09.2013; Catania, Italy)
• Języki publikacji: EN

Abstrakty

EN

JSetL is a Java library that endows Java with a number of facilities that are intended to support declarative and constraint (logic) programming. In this paper we show how JSetL can be used to support general forms of nondeterministic programming in an object-oriented framework. This is obtained by combining different but related facilities, such as logical variables, set data structures, unification, along with a constraint solver that allows the user to solve nondeterministic constraints as well as to define new constraints using the nondeterminism handling facilities provided by the solver itself. Thus, the user can define her/his own general nondeterministic procedures as new constraints, letting the constraint solver handle them. The proposed solutions are illustrated through a number of concrete Java programs using JSetL, including the implementation of simple Definite Clause Grammars.

Słowa kluczowe

EN

nondeterministic programming; constraint programming; set-based programming; Java language

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2015
• Tom: Vol. 140, nr 3/4
• Strony: 393--412
• Opis fizyczny: Bibliogr. 19 poz.

Twórcy

autor

Rossi G.

• Dipartimento di Matematica e Informatica Universit`a degli Studi di Parma, Italy

autor

Bergenti F.

• Dipartimento di Matematica e Informatica Universit`a degli Studi di Parma, Italy

Bibliografia

• [1] Antoy, S., Hanus M.: Functional Logic Programming, Communications of the ACM, 20(4), 2010, 74-85.
• [2] Apt, K. R., Brunekreef, J., Partington, V., Schaerf, A.: Alma-0: An Imperative Language that Supports Declarative Programming, ACM Transactions on Programming Languages and Systems (TOPLAS), 20(5), 1998, 1014–1066.
• [3] Bergenti, F., Chiarabini, L., Rossi, G.: Programming with Partially Specified Aggregates in Java, Computer Languages, Systems & Structures, 37(4), 2011, 178–192.
• [4] Cohen, J.: Non-Deterministic Algorithms, Computing Surveys, 11(2), 1979, 79–94.
• [5] Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and Constraint Logic Programming, ACM Transactions on Programming Languages and Systems (TOPLAS), 22(5), 2000, 861–931.
• [6] Dovier, A., Pontelli, E., Rossi, G.: Set unification, Theory and Practice of Logic Programming, 6, 2006, 645–701.
• [7] JSR-331: JSR-331, Java Constraint Programming API, User Manual, Technical report, 2010.
• [8] Köksal, A. S., Kuncak, V., Suter, P.: Constraints as control, ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2012.
• [9] Mirian-Hosseina Abadi, S. H., Mousavi, M. R.: Making Nondeterminism Explicit in Z, Proceedings of the Iranian Computer Society Annual Conference (CSICC-02), 2002.
• [10] Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., Tack, G.: MiniZinc: Towards a standard CP modelling language, CP 2007 (C. Bessiere, Ed.), 4741, Springer, 2007.
• [11] Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A comprehensive step-by-step guide, Artima Press, 2008.
• [12] Pereira, F. C. N., Warren, D. H. D.: Definite clause grammars for language analysis – A survey of the formalism and a comparison with augmented transition networks, Artificial Intelligence, 13(3), 1980, 231–278.
• [13] Rossi, G., Amadini, R.: JSetL User’s Manual - Version 2.3, Research Report 507, Quaderno del Dipartimento di Matematica, Università degli Studi di Parma, January 2012.
• [14] Rossi, G., Panegai, E., Poleo, E.: JSetL: A Java Library for Supporting Declarative Programming in Java, Software-Practice & Experience, 37, 2007, 115–149.
• [15] Roy, P. V.: Logic programming in Oz with Mozart, International Conference on Logic Programming (ICLP’99), The MIT Press, 1999.
• [16] Schwartz, J. T., Dewar, R. B. K., Dubinsky, E., Schonberg, E.: Programming with sets, an introduction to SETL, Springer-Verlag, 1986.
• [17] Sondergaard, H., Sestoft, P.: Non-Determinism in Functional Languages, The Computer Journal, 35(5), 1992, 514–523.
• [18] Van Hentenryck, P.: The OPL Optimization Programming Language, The MIT Press, 1999.
• [19] Walicki, M., Meldal, S.: Sets and Nondeterminism, ICLP’93 Post-Conference Workshop on Logic