Add to ORKGAlgebraic modelling is an important technique in practical applications that require to formulate and to solve a mathematical programming problem. We show how the basic functionality of algebraic modelling systems can be realised very easily in a logic programming system like Prolog. Moreover, we illustrate the additional power of using logic programming in cases where the built-in constructs of traditional modelling languages are not sufficient
AbstractWe investigate the experimental programming language BABEL, designed to achieve integration ...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
This paper presents a novel technique of using Prolog with never instantiated variables to manipulat...
Algebraic modelling is an important technique in practical applications that require to formulate an...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
The idea behind logic programming is to describe a domain and ask questions about that domain. The d...
Constraint logic programming has become a promising new technology for solving complex combinatorial...
Constraint logic programming (CLP) has become a promising new technology for solving complex combina...
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog pr...
Finite-Element Analysis (FEA) program vendors go to great lengths to provide their customers with po...
Logic Programming is an advanced paradigm for declarative specification of problems. In the logic pr...
The goal of this paper is to construct a semantic basis for the abstract interpretaion of Prolog 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...
In our laboratory, the application of Prolog language to chemical engineering problems have been stu...
AbstractWe investigate the experimental programming language BABEL, designed to achieve integration ...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
This paper presents a novel technique of using Prolog with never instantiated variables to manipulat...
Algebraic modelling is an important technique in practical applications that require to formulate an...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
The idea behind logic programming is to describe a domain and ask questions about that domain. The d...
Constraint logic programming has become a promising new technology for solving complex combinatorial...
Constraint logic programming (CLP) has become a promising new technology for solving complex combina...
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog pr...
Finite-Element Analysis (FEA) program vendors go to great lengths to provide their customers with po...
Logic Programming is an advanced paradigm for declarative specification of problems. In the logic pr...
The goal of this paper is to construct a semantic basis for the abstract interpretaion of Prolog 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...
In our laboratory, the application of Prolog language to chemical engineering problems have been stu...
AbstractWe investigate the experimental programming language BABEL, designed to achieve integration ...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
This paper presents a novel technique of using Prolog with never instantiated variables to manipulat...