Chart parsing in Prolog

Simpkins, Neil; Hancox, Peter J.

doi:10.1007/bf03037470

Cited by 5 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Coupled with Prolog's meta-programming abilities, grammar transformation schemes can help automate the generation of linguistic resources that most languages in the world typically lack, as shown by Dahl and Miralles (2012). Finally, tabling can be used for efficient parsing (Simpkins and Hancox 1990) of a wide range of grammars, even context-sensitive ones.…”

Section: Successful Applicationsmentioning

confidence: 99%

Fifty Years of Prolog and Beyond

Körner

Leuschel

Barbosa³

et al. 2022

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.

show abstract

Section: Successful Applicationsmentioning

confidence: 99%

Fifty Years of Prolog and Beyond

Körner

Leuschel

Barbosa³

et al. 2022

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

show abstract

“…Coupled with Prolog's metaprogramming abilities, grammar transformation schemes can help automate the generation of linguistic resources that most languages in the world typically lack, as shown by Dahl and Miralles (2012). Finally, tabling can be used for efficient parsing (Simpkins and Hancox, 1990) of a wide range of grammars, even context-sensitive ones.…”

Section: Successful Applicationsmentioning

confidence: 99%

Fifty Years of Prolog and Beyond

Körner¹,

Leuschel²,

Barbosa³

et al. 2022

Preprint

View full text Add to dashboard Cite

is thankful for the support provided for this work by NSERC's Discovery grant 31611024. José Francisco Morales and Manuel Hermenegildo are partially funded by MINECO MICINN PID2019-108528RB-C21 ProCode project, by the Madrid P2018/TCS-4339 BLOQUES-CM program, and by the Tezos foundation. Salvador Abreu acknowledges support from FCT through strategic project UIDB/04516/2020 (NOVA LINCS). All authors would like to thank the reviewers and the editor for their careful reading and very useful comments as well as

show abstract

Reference constraints and individual level inheritance

Fall

1996

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Chart parsing in Prolog

Cited by 5 publications

References 4 publications

Fifty Years of Prolog and Beyond

Fifty Years of Prolog and Beyond

Fifty Years of Prolog and Beyond

Reference constraints and individual level inheritance

Contact Info

Product

Resources

About