Serge Le Huitouze, Pascale Louvet, Olivier Ridoux  Home/Search
Context
Related
| irisa.fr/local/lan...slploriclp93.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.irisa.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A logic grammar formalism called DCG (Definite Clause Grammars), which has proved to be useful, is part of most Prolog implementations. We develop two new logic grammar formalisms called DCG' and HHG (higher-order Hereditary Harrop Grammars) that can be used in Prolog implementations. The relations between DCG, DCG', and HHG, and Prolog and Prolog can be illustrated by the following diagram: DCG --3--? DCG' --------4---------? LambdaHHG --- " --- 1 --- "3 --- 4 --- " --- v v v Prolog... (Update)
Similar documents (at the sentence level):
11.1%: On The Use Of Advanced Logic Programming Languages In.. - Coupet-Grimal, Ridoux (1994) (Correct)
Active bibliography (related documents): More All
0.5: The Compilation of Prolog and its Execution with MALI - Brisset, Ridoux (1993) (Correct)
0.5: Using Logic Programming Languages For Structured.. - Coüasnon, Brisset.. (Correct)
0.4: Using Logic Programming Languages For Optical Music.. - Coüasnon, Brisset.. (1995) (Correct)
Similar documents based on text: More All
0.6: Parse Tree Notation - Davison, Haywood (1994) (Correct)
0.5: On-the-fly Specialization of Reflective Programs.. - Sugita, MASUHARA.. (1998) (Correct)
0.5: A Simple Transformation for Offline-Parsable Grammars and its.. - Dymetman (Correct)
BibTeX entry: (Update)
@inproceedings{ lehuitouze93logic,
author = "Serge Le Huitouze and Pascale Louvet and Olivier Ridoux",
title = "Logic Grammars and Lambda-Prolog",
booktitle = "International Conference on Logic Programming",
pages = "64-79",
year = "1993",
url = "citeseer.ist.psu.edu/lehuitouze93logic.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
363 Programming in Prolog (context) - Clocksin, Mellish - 1987
101 Higher-order logic programming - Miller, Nadathur - 1986
97 The Craft of Prolog (context) - O'Keefe - 1990
28 Specifying filler-gap dependency parsers in a linear-logic p.. - Hodas - 1992
27 Metamorphosis grammars (context) - Colmerauer - 1978
26 Extending definite clause grammars with scoping constructs (context) - Pareschi, Miller - 1990
26 Hereditary Harrop formulas and uniform proof systems (context) - Miller, Nadathur et al. - 1987
17 The Compilation of Prolog and its execution with MALI - Brisset, Ridoux - 1992
13 Definite clauses for language analysis (context) - Pereira, Warren - 1980
6 Interactive synthesis of definite-clause grammars (context) - Haas, Jayaraman - 1992
6 Groupe d'Intelligence Artificielle (context) - Colmerauer, de M'etamorphose - 1975
6 Prolog and natural-language analysis: into the third decade (context) - Pereira - 1990
5 emes-Q ou un formalisme pour analyser et synth (context) - Colmerauer - 1970
3 Some kind of magic (context) - Bon - 1992
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.irisa.fr.html): More
Table 51: Topology error tests - Test Path (Correct)
Solving the Consensus Problem in a Mobile Environment - Badache, Hurfin, Macedo (1997) (Correct)
A New Method For The Generation Of Strong Prime Numbers - Saouter (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC