We present a concrete proposal for enhancing Prolog and Prolog based Constraint Logic Programming languages with a new language construct, the logical loop. This is a shorthand notation for the most commonly used recursive control structure: the iteration or tail recursion
A programming language is a tool and a vehicle for applications. Logic Programming has proven to be ...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
This short note aims to present foundations for constraint logic programming. By logic programming, ...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...
Introduction. The organization of branches and repetitions in the context of logical programming is ...
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog pr...
AbstractWe claim that programming within the logic programming paradigm suffers from lack of attenti...
The goal of this paper is to construct a semantic basis for the abstract interpretaion of Prolog pro...
The idea behind logic programming is to describe a domain and ask questions about that domain. The d...
Centre for Intelligent Systems and their ApplicationsThe coneptual distinction between logic and co...
AbstractWe systematically study loop checking mechanisms for logic programs by considering their sou...
We introduce the most recent and advanced implementation of constraint handling rules (CHR) in a log...
. Using a calculus of goals, we define the success and failure of a goal for propositional programs ...
. We present a declarative language -- CFLP (R) -- which enhances functional logic programming with ...
A programming language is a tool and a vehicle for applications. Logic Programming has proven to be ...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
This short note aims to present foundations for constraint logic programming. By logic programming, ...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...
Introduction. The organization of branches and repetitions in the context of logical programming is ...
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog pr...
AbstractWe claim that programming within the logic programming paradigm suffers from lack of attenti...
The goal of this paper is to construct a semantic basis for the abstract interpretaion of Prolog pro...
The idea behind logic programming is to describe a domain and ask questions about that domain. The d...
Centre for Intelligent Systems and their ApplicationsThe coneptual distinction between logic and co...
AbstractWe systematically study loop checking mechanisms for logic programs by considering their sou...
We introduce the most recent and advanced implementation of constraint handling rules (CHR) in a log...
. Using a calculus of goals, we define the success and failure of a goal for propositional programs ...
. We present a declarative language -- CFLP (R) -- which enhances functional logic programming with ...
A programming language is a tool and a vehicle for applications. Logic Programming has proven to be ...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
DOI
Add to ORKG