Reference Type Logic Variables in Constraint-logic Object-oriented Programming

08/24/2018
by   Jan C. Dageförde, et al.
0

Constraint-logic object-oriented programming, for example using Muli, facilitates the integrated development of business software that occasionally involves finding solutions to constraint-logic problems. So far, Muli covers the application of constraints to (logic) variables that are of primitive types. Our work generalises this in order to facilitate (constraint) logic programming involving free objects, i. e. for reference type variables. This includes invocations on free objects and constraints over object types, while taking arbitrary class hierarchies of a Java-based language into account. This work discusses interactions between a constraint-logic object-oriented language and reference type logic variables, particularly invocations on and access to logic variables, typecasts, and equality, and proposes approaches as to how these interactions can be handled.

READ FULL TEXT
research
08/31/2020

Constraint-Logic Object-Oriented Programming with Free Arrays

Constraint-logic object-oriented programming provides a useful symbiosis...
research
08/27/2019

Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming

In this paper, we propose an explicit, non-strict representation of sear...
research
06/05/2009

The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

We present the CIFF proof procedure for abductive logic programming with...
research
02/26/2020

Declarative Programming with Intensional Sets in Java Using JSetL

Intensional sets are sets given by a property rather than by enumerating...
research
09/17/2019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...
research
05/30/2023

Integrating Logic Rules with Everything Else, Seamlessly

This paper presents a language, Alda, that supports all of logic rules, ...
research
02/16/2010

Rewriting Constraint Models with Metamodels

An important challenge in constraint programming is to rewrite constrain...

Please sign up or login with your details

Forgot password? Click here to reset