Add to ORKGThe paper introduces a graph reduction based model for defining a formal implementation of a Prolog compatible, functional language
A model for an abstract Prolog machine is introduced by degrees, starting from an intuitive form up ...
We investigate the relationship between functional and definitional programming by translating a sub...
AbstractThe semantics of lazy functional programming languages is usually presented in two different...
Abstract. In this paper, we present a high-level implementation of lazy functional logic programs by...
We describe in this paper a graph narrowing machine that has been designed for the implementation of...
AbstractWe investigate the experimental programming language BABEL, designed to achieve integration ...
Abstract: We propose an embedding of logic programming into lazy functional programming in which eac...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
We propose an embedding of logic programming into lazy functional programming in which each predicat...
The semantics of lazy functional programming languages is usually presented in two different ways: a...
A language for a parallel, logic graph reduction system is described in this dissertation. The langu...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
D We develop a natural technique for defining functions in logic, i.e. PROLOG, which directly yields...
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
In natural language processing (NLP) there is an increasing interest in formal models for processing...
A model for an abstract Prolog machine is introduced by degrees, starting from an intuitive form up ...
We investigate the relationship between functional and definitional programming by translating a sub...
AbstractThe semantics of lazy functional programming languages is usually presented in two different...
Abstract. In this paper, we present a high-level implementation of lazy functional logic programs by...
We describe in this paper a graph narrowing machine that has been designed for the implementation of...
AbstractWe investigate the experimental programming language BABEL, designed to achieve integration ...
Abstract: We propose an embedding of logic programming into lazy functional programming in which eac...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
We propose an embedding of logic programming into lazy functional programming in which each predicat...
The semantics of lazy functional programming languages is usually presented in two different ways: a...
A language for a parallel, logic graph reduction system is described in this dissertation. The langu...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
D We develop a natural technique for defining functions in logic, i.e. PROLOG, which directly yields...
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
In natural language processing (NLP) there is an increasing interest in formal models for processing...
A model for an abstract Prolog machine is introduced by degrees, starting from an intuitive form up ...
We investigate the relationship between functional and definitional programming by translating a sub...
AbstractThe semantics of lazy functional programming languages is usually presented in two different...