Add to ORKGThe semantics of a programming language are given by a function M from Programs to Meanings. In this paper we bring some uniformity into the definition of logical programming languages like LUCID and PROLOG by specifying M in Logic -> (Control -> Meanings). We describe how a context-free grammar can be assigned to each logical program and we identify Control with the language generated by the grammar. After this reduction there is no difference between the semantics of logical and conventional programming languages
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...
The idea behind logic programming is to describe a domain and ask questions about that domain. The d...
An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be...
Logic programming is discussed as a method for representing aspects of design language: descriptions...
The goal of logic programming is that the program, or database, can be understood by logic along, in...
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog pr...
The goal of this paper is to construct a semantic basis for the abstract interpretaion of Prolog pro...
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
iPreface Logic programming employs logic as a programming language Thus a logic program consists of...
Logic programming is programming by description. The programmer describes the application area and l...
Logic Programming is an advanced paradigm for declarative specification of problems. In the logic pr...
The coincidence of the declarative and procedural interpretations of logic programs does not apply t...
Centre for Intelligent Systems and their ApplicationsThe coneptual distinction between logic and co...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...
The idea behind logic programming is to describe a domain and ask questions about that domain. The d...
An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be...
Logic programming is discussed as a method for representing aspects of design language: descriptions...
The goal of logic programming is that the program, or database, can be understood by logic along, in...
The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog pr...
The goal of this paper is to construct a semantic basis for the abstract interpretaion of Prolog pro...
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
iPreface Logic programming employs logic as a programming language Thus a logic program consists of...
Logic programming is programming by description. The programmer describes the application area and l...
Logic Programming is an advanced paradigm for declarative specification of problems. In the logic pr...
The coincidence of the declarative and procedural interpretations of logic programs does not apply t...
Centre for Intelligent Systems and their ApplicationsThe coneptual distinction between logic and co...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...