A view of the origins and development of Prolog

Cohen, Jacques

doi:10.1145/35043.35045

Cited by 40 publications

(11 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This structural parenthood has been previously remarked: it lead to the development of Prolog (Cohen, 1988;Colmerauer, 1978) and is analyzed in some detail in (Pereira & Warren, 1980) for Context-Free languages and Horn Clauses. A notable outcome is the parsing technique known as Earley deduction (Pereira & Warren, 1983).…”

Section: Introductionmentioning

confidence: 81%

Current Issues in Parsing Technology

Tomita¹

1991

View full text Add to dashboard Cite

Section: Introductionmentioning

confidence: 81%

Current Issues in Parsing Technology

Tomita¹

1991

View full text Add to dashboard Cite

“…EJEMPLO 3 Considera el siguiente programa de una sola cláusula escrito en el lenguaje de programación lógica estándar, Prolog [45,48] …”

Section: Programación Lógicaunclassified

Declarative Constraint Programming

Fernández¹

2006

Int. Artif.

View full text Add to dashboard Cite

ResumenRecientemente, esta revista ha publicado una excelente monografía, [65], dedicada a los problemas de satisfacción con restricciones. La monografía cubre muchos de los aspectos relacionados con estos problemas pero obvia unárea tradicionalmente muy importante en la comunidad de las restricciones como es la integración de restricciones en los lenguajes de programación declarativos (especialmente los lógicos).Este artículo describe el estado-del-arte de la programación declarativa con restricciones (PDC) con especiaĺ enfasis en la integración de restricciones en los lenguajes de programación lógicos. El artículo está dirigido tanto a personas con conocimientos de PDC como a aquellos interesados en conocerla, y cubre sus orígenes históricos, los fundamentos teóricos y las instancias más populares dependientes del dominio de computación.Palabras clave: Satisfacción de Restricciones, Programación Lógica, Programación Funcional, Resolutor. IntroducciónRecientemente, esta revista ha publicado una estupenda monografía [65] enfocada sobre los problemas de satisfacción con restricciones (CSP, Constraint Satisfaction Problem) y en la cual se abordan las técnicas clásicas empleadas para su resolución y, más particularmente, otras técnicas usadas sobreáreas específicas de aplicación (tales como la diagnosis, las bases de datos o la recuperación de información). La monografía cubre muchos de los aspectos relacionados con los CSPs pero obvia unárea muy importante como es la integración de restricciones en los lenguajes declarativos (especialmente los lógicos). En realidad, la programación lógica con restricciones (CLP, Constraint Logic Programming) [110,179] es uno de los campos de investigación más activos en la comunidad de las restricciones puesto que está directamente relacionado con el modelado (a alto nivel) de soluciones a los problemas de satisfacción con restricciones; más aún, como ya fue apuntado en [54][capítulo 15], uno no puede (ni debe) asumir que todas las restricciones estarán disponibles al comienzo del proceso de búsqueda de las soluciones y el usuario podría querer construir el CSP a resolver de forma incremental y "representar las restricciones a través de fórmu-las pertenecientes a un cierto lenguaje de programación en vez de representaréstas mediante conjuntos de tuplas de valores". Este aspecto no fue considerado en [65], yésa es precisamente la razón que ha generado este artículo.Este artículo describe el estado-del-arte de la programación declarativa con restricciones, con especialénfasis en la programación lógica con restricciones ya que la naturaleza relacional de las restricciones hace que los lenguajes que guardan algún componente lógico sean más adecuados para la integración de las mismas.

show abstract

“…The reader is referred to [11], where this analogy is described in greater detail. Essentially, a literal is considered as a non-terminal and a logic program is viewed as a sequence of context-free rewriting rules [27].…”

Section: Colmerauer's Approachmentioning

confidence: 99%

“…The approach utilized in Prolog III is that of SL resolution, which has been successful in proving theorems in the predicate calculus [32]. (The reader is referred to [11] for a Prolog description of this method). The version of SL resolution used in Prolog III is that of Siegel [41].…”

Section: »»S Ooooooooooooooocmentioning

confidence: 99%

Constraint logic programming languages

Cohen

1990

Commun. ACM

Self Cite

195

View full text Add to dashboard Cite

aphon final survival corresponds to the existence of a solution ||lem expressed in the language of constraints. Better yet 0ng a solution amounts to finding a "creature" capable of "Ch mtiilessxonstraints. Jacpes CoheDconstraint Logic Programming (CLP) is an extension of Logic Programming aimed at replacing the pattern matching mechanism of unification, as used in Prolog, by a more general operation called constraint satisfaction. This article provides a panoramic view of the recent work done in designing and implementing CLP languages, it also presents a summary of their theoretical foundations, discusses implementation issues, compares the major CLP languages, and suggests directions for further work. ILLUSTRATION: DIANA ZELVIN 52July t990/Vol.33. No-7/eOHHUNICATIOtMOFTHI ACH

show abstract

A view of the origins and development of Prolog

Abstract: Dealing with failure is easy: Work hard to improve. Success is also easy to handle: You've solved the wrong problem. Work hard to improve.

Cited by 40 publications

References 32 publications

Current Issues in Parsing Technology

Current Issues in Parsing Technology

Declarative Constraint Programming

Constraint logic programming languages

Contact Info

Product

Resources

About