Portability of Prolog programs: theory and case-studies
J Wielemaker, VS Costa - arxiv preprint arxiv:1009.3796, 2010 - arxiv.org
(Non-) portability of Prolog programs is widely considered as an important factor in the lack
of acceptance of the language. Since 1995, the core of the language is covered by the ISO …
of acceptance of the language. Since 1995, the core of the language is covered by the ISO …
DES: A deductive database system
F Sáenz-Pérez - Electronic notes in theoretical computer science, 2011 - Elsevier
This work describes a novel implementation of a deductive database system which fills
some gaps other systems do not. In fact, this system was born to this end and since its …
some gaps other systems do not. In fact, this system was born to this end and since its …
On the portability of Prolog applications
The non-portability of Prolog programs is widely considered one of the main problems facing
Prolog programmers. Although since 1995, the core of the language is covered by the ISO …
Prolog programmers. Although since 1995, the core of the language is covered by the ISO …
Esprona: Constraint-based declarative business process modeling
In this paper we describe how declarative process modeling together with ontologies can be
used to build complex clinical process models. Our approach supports the definition of …
used to build complex clinical process models. Our approach supports the definition of …
An extended constraint deductive database: Theory and implementation
Abstract The scheme of Hereditary Harrop formulas with constraints, HH (C), has been
proposed as a basis for constraint logic programming languages. In the same way that …
proposed as a basis for constraint logic programming languages. In the same way that …
ESProNa-Eine Constraintsprache zur multimodalen Prozessmodellierung und navigationsgestützten Ausführung
M Igler - 2012 - epub.uni-bayreuth.de
Deklarative Prozessmodellierungssprachen erfreuen sich aufgrund ihrer Ausdrucksstärke
und der kompakten Prozessmodelle einer immer größer werdenden Beliebtheit. Ziel dieser …
und der kompakten Prozessmodelle einer immer größer werdenden Beliebtheit. Ziel dieser …
[PDF][PDF] A Prototype Constraint Deductive Database System based on HH¬(c)
G Aranda-López, S Nieva, F Sáenz-Pérez… - fdi.ucm.es
This paper presents, from a user point of view, a deductive database system based on
Hereditary Harrop Formulas with Constraints and Negation, HH¬(C). The Prolog …
Hereditary Harrop Formulas with Constraints and Negation, HH¬(C). The Prolog …
Constraint programming with arbitrarily large integer variables
A Moss - International Conference on Integration of Artificial …, 2010 - Springer
Abstract In the standard Constraint Programming (CP) framework, an integer variable
represents a signed integer and its domain is bounded by some minimal and maximal …
represents a signed integer and its domain is bounded by some minimal and maximal …
[PDF][PDF] Lehrstuhl für Angewandte Informatik IV
DIM Igler - core.ac.uk
Deklarative Prozessmodellierungssprachen erfreuen sich aufgrund ihrer Ausdrucksstärke
und der kompakten Prozessmodelle einer immer größer werdenden Beliebtheit. Ziel dieser …
und der kompakten Prozessmodelle einer immer größer werdenden Beliebtheit. Ziel dieser …