From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse

Moura, Paulo

doi:10.1007/978-3-642-02846-5_3

Cited by 6 publications

(5 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Systems support some of the legacy code loading methods such as consult/1 and ensure loaded/1 for backwards compatibility, but use module/{1,2} is recommended, specially for large-scale applications. New solutions must address errors and inconsistencies that have already been uncovered by Haemmerlé and Fages (2006) and later by Moura (2009a).…”

Section: Prolog Aspects That Need Joint Public and Earnest Discussionmentioning

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: Prolog Aspects That Need Joint Public and Earnest Discussionmentioning

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

“…Facilities for multi-threaded programming are also common: A number of systems offer predicates based on the corresponding technical recommendation document (Moura, 2007), sometimes with some differences in semantics or syntax.…”

Section: Available and Mostly Compatible Featuresmentioning

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

“…Logtalk [12] is an open source object-oriented logic programming language that provides a portable implementation of coinductive logic programming since 2010. The current version of Logtalk supports two hook predicates, corresponding to finally clauses with arity 1 and 2, respectively, which are called in the case of coinductive success.…”

Section: Related Workmentioning

confidence: 99%

Regular corecursion in Prolog

Ancona

2013

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse

Cited by 6 publications

References 0 publications

Fifty Years of Prolog and Beyond

Fifty Years of Prolog and Beyond

Fifty Years of Prolog and Beyond

Regular corecursion in Prolog

Contact Info

Product

Resources

About