research-article

Retrieval of individual solutions from encapsulated search with a potentially infinite search space

Authors:

Jan C. Dageförde,

Herbert KuchenAuthors Info & Claims

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Pages 1552 - 1561

https://doi.org/10.1145/3297280.3298912

Published: 08 April 2019 Publication History

Abstract

Constraint-logic object-oriented programming facilitates the development of applications that occasionally solve search problems. To that end it is possible to define constraints imperatively on-the-fly, using conditions over free variables. As a result, the search space is defined dynamically at runtime, based on the evaluation of such conditions in control structures. Consequently, the search space can - intentionally or by accident - become infinitely large if recursion and/or loops are involved. It is therefore desirable that the corresponding encapsulated search can be controlled by application developers. To that end, we discuss mechanisms for encapsulating such a search space and retrieving solutions from it. Our implementation for Muli is based on an appropriately extended symbolic Java virtual machine and it leverages the Java Stream API to provide a control mechanism that integrates well with object-oriented programs. Moreover, we show how our language Muli behaves for some example programs.

References

[1]

Sergio Antoy and Andy Jost. 2016. A New Functional-Logic Compiler for Curry: Sprite. In LOPSTR 2016.

[2]

Bernd Bra4sZel, Michael Hanus, Björn Peemöller, and Fabian Reck. 2011. KiCS2: A New Compiler from Curry to Haskell. Functional and Constraint Logic Programming 6816 (2011), 1--18.

Digital Library

[3]

Jan C. Dageförde and Herbert Kuchen. 2018. A Constraint-logic Object-oriented Language. In Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing. ACM, 1185--1194.

Digital Library

[4]

Jan C. Dageförde and Herbert Kuchen. 2018. An Operational Semantics for Constraint-Logic Imperative Programming. In Declarative Programming and Knowledge Management, Dietmar Seipel, Michael Hanus, and Salvador Abreu (Eds.). Springer, Cham, 64--80.

[5]

Enrico Denti, Andrea Omicini, and Alessandro Ricci. 2005. Multi-paradigm Java-Prolog integration in tuProlog. Science of Computer Programming 57, 2 (2005), 217--250.

Digital Library

[6]

J. Doyle and C. Meudec. 2003. IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. In 2nd PPPJ. 55--58.

Digital Library

[7]

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995. Design patterns. Addison-Wesley, Reading, Mass.

[8]

Michael Hanus, Herbert Kuchen, and Juan Jose Moreno-Navarro. 1995. Curry: A Truly Functional Logic Language. ILPS'95 Workshop on Visions for the Future of Logic Programming (1995), 95--107.

[9]

James C. King. 1976. Symbolic execution and program testing. Commun. ACM 19, 7 (1976), 385--394.

Digital Library

[10]

Kostas Kougios. 2018. cloning: deep clone java objects. https://github.com/kostaskougios/cloning

[11]

Krzysztof Kuchcinski. 2003. Constraints-driven scheduling and resource assignment. ACM Transactions on Design Automation of Electronic Systems 8, 3 (2003), 355--383.

Digital Library

[12]

Tim Lindholm, Frank Yellin, Gilad Bracha, and Alex Buckley. 2015. The Java® Virtual Machine Specification - Java SE 8 Edition. https://docs.oracle.com/javase/specs/jvms/se8/jvms8.pdf

Digital Library

[13]

Wolfgang Lux and Herbert Kuchen. 1999. An Efficient Abstract Machine for Curry. In Informatik '99, K Beiersdörfer, G Engels, and W Schäfer (Eds.). Springer Verlag, 390--399.

[14]

Tim A Majchrzak and Herbert Kuchen. 2011. Logic Java: Combining Object-Oriented and Logic Programming. In WFLP. 122--137.

Digital Library

[15]

F. G. McCabe. 1992. Logic and Objects. Prentice Hall.

Digital Library

[16]

Chris Moss. 1994. Prolog++ - the power of object-oriented and logic programming. Addison-Wesley.

Digital Library

[17]

Martin Odersky, Philippe Altherr, Vincent Cremet, Gilles Dubochet, Burak Emir, Philipp Haller, Stéphane Micheloud, Nikolay Mihaylov, Adriaan Moors, Lukas Rytz, Michel Schinz, Erik Stenman, and Matthias Zenger. 2017. Scala Language Specification. http://www.scala-lang.org/files/archive/spec/2.12/

[18]

Oracle. 2018. Class Object. https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html

[19]

Oracle. 2018. Interface Stream<T>. https://docs.oracle.com/javase/8/docs/api/java/util/stream/Stream.html

[20]

Ludwig Ostermayer. 2015. Seamless Cooperation of Java and Prolog for Rule-Based Software Development. In Proceedings of RuleML 2015. http://ceur-ws.org/Vol-1417/paper2.pdf

[21]

Randall Scott. 2010. A Guide to Artificial Intelligence with Visual Prolog. Outskirts Press.

Digital Library

[22]

Ehud Shapiro and Akikazu Takeuchi. 1983. Object oriented programming in Concurrent Prolog. New Generation Computing 1, 1 (1983), 25--48.

Digital Library

[23]

The OptaPlanner Team. 2017. OptaPlanner User Guide, Version 7.0.0. JBoss. https://docs.optaplanner.org/7.0.0.Final/optaplanner-docs/html{_}single/index.html

[24]

Nikolai Tillmann and Jonathan de Halleux. 2008. Pex: White Box Test Generation for .NET. In 2nd International Conference on Tests and Proofs. 134--153.

Digital Library

[25]

Markus Triska. 2012. The Finite Domain Constraint Solver of SWI-Prolog. In FLOPS (LNCS), Vol. 7294. 307--316.

Digital Library

[26]

Raoul-Gabriel Urma, Mario Fusco, and Alan Mycroft. 2014. Java 8 in Action: Lambdas, Streams, and Functional-style Programming. Manning Publications Co., Greenwich, CT.

Digital Library

[27]

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Christian Schulte, and Martin Henz. 2003. Logic programming in the context of multiparadigm programming: the Oz experience. Theory and Practice of Logic Programming 3, 6 (2003), 717--763.

Digital Library

[28]

David H. D. Warren. 1983. An Abstract Prolog Instruction Set. Technical Report. SRI International, Menlo Park.

[29]

Jan Wielemaker. 2003. An Overview of the SWI-Prolog Programming Environment. In Workshop on LP Environments.

Cited By

Dageförde JKuchen H(2023)Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented ProgrammingAnalysis, Verification and Transformation for Declarative Programming and Intelligent Systems10.1007/978-3-031-31476-6_5(97-112)Online publication date: 17-May-2023
https://doi.org/10.1007/978-3-031-31476-6_5
Dageförde JTeegen F(2019)Structured Traversal of Search Trees in Constraint-Logic Object-Oriented ProgrammingDeclarative Programming and Knowledge Management10.1007/978-3-030-46714-2_13(199-214)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-46714-2_13

Index Terms

Retrieval of individual solutions from encapsulated search with a potentially infinite search space
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures
      2. Language types
        Constraint and logic languages
        Multiparadigm languages
        Object oriented languages
  2. Software organization and properties
    1. Contextual software domains
      1. Software infrastructure
        Virtual machines

Recommendations

Free Objects in Constraint-logic Object-oriented Programming
PPDP '21: Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming

Constraint-logic object-oriented programming facilitates the integrated development of business software that occasionally solves constraint-logic problems or makes other use of structured search. So far, work in constraint-logic object-oriented ...
A constraint-logic object-oriented language
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

Object-oriented (OO) programming languages prevail in the development of enterprise software, but they do not particularly support the implementation of software which includes solving complicated search problems with dynamically appearing constraints, ...
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming
Declarative Programming and Knowledge Management
Abstract
In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the non-deterministic and deterministic behaviours of executing an ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

April 2019

2682 pages

ISBN:9781450359337

DOI:10.1145/3297280

Conference Chairs:
Chih-Cheng Hung
Kennesaw State University, Marietta, Georgia
,
George A. Papadopoulos
University of Cyprus, Nicosia, Cyprus

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC '19

Sponsor:

SIGAPP

SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing

April 8 - 12, 2019

Limassol, Cyprus

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
57
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Dageförde JKuchen H(2023)Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented ProgrammingAnalysis, Verification and Transformation for Declarative Programming and Intelligent Systems10.1007/978-3-031-31476-6_5(97-112)Online publication date: 17-May-2023
https://doi.org/10.1007/978-3-031-31476-6_5
Dageförde JTeegen F(2019)Structured Traversal of Search Trees in Constraint-Logic Object-Oriented ProgrammingDeclarative Programming and Knowledge Management10.1007/978-3-030-46714-2_13(199-214)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-46714-2_13

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten