AbstractA top-down interpreter in Prolog is presented for a subclass of logic grammars: Static Discontinuity Grammars, or SDGs [4], which have proved useful in computational linguistics [5,3]. We also discuss the incorporation of constraints such as those found in linguistic theories
Starting from a continuation-based interpreter for a simple logic programming language, propositiona...
AbstractIn a recent paper [27], the denotational semantics for the language Prolog was presented. Th...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
AbstractA characterization of Static Discontinuity Grammars (SDGs), a logic grammar formalism due to...
AbstractThe coincidence between the model-theoretic and the procedural semantics of SLD-resolution d...
AbstractThis paper describes Narrowing Grammar, a new kind of grammar that combines concepts from lo...
CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical ...
This paper describes Narrowing Grammar, a new kind of grammar that combines concepts from logic prog...
AbstractAfter a brief survey of Discontinuous Grammar (DG), we propose local cost functions as a gen...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
This article gives a short introduction on how to get started with logic programming in Prolog that ...
AbstractDefinite-clause grammars (DCGs) generalize context-free grammars in such a way that Prolog c...
In this paper we present several extensions to support a more declarative view of programming in Pro...
International audienceExisting logic languages provide some simple " extra-logical " constructs for ...
. New methods from meta-programming in logic makes it possible automatically to extract grammar rule...
Starting from a continuation-based interpreter for a simple logic programming language, propositiona...
AbstractIn a recent paper [27], the denotational semantics for the language Prolog was presented. Th...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
AbstractA characterization of Static Discontinuity Grammars (SDGs), a logic grammar formalism due to...
AbstractThe coincidence between the model-theoretic and the procedural semantics of SLD-resolution d...
AbstractThis paper describes Narrowing Grammar, a new kind of grammar that combines concepts from lo...
CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical ...
This paper describes Narrowing Grammar, a new kind of grammar that combines concepts from logic prog...
AbstractAfter a brief survey of Discontinuous Grammar (DG), we propose local cost functions as a gen...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
This article gives a short introduction on how to get started with logic programming in Prolog that ...
AbstractDefinite-clause grammars (DCGs) generalize context-free grammars in such a way that Prolog c...
In this paper we present several extensions to support a more declarative view of programming in Pro...
International audienceExisting logic languages provide some simple " extra-logical " constructs for ...
. New methods from meta-programming in logic makes it possible automatically to extract grammar rule...
Starting from a continuation-based interpreter for a simple logic programming language, propositiona...
AbstractIn a recent paper [27], the denotational semantics for the language Prolog was presented. Th...
AbstractThe paper provides a mathematical yet simple model for the full programming language Prolog,...
DOI
Add to ORKG