On the Portability of Prolog Applications

Wielemaker, Jan; Costa, Vítor Santos

doi:10.1007/978-3-642-18378-2_8

Cited by 8 publications

(10 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It was later ported [19] to the SWI [21] engine via a complete re-write of the C code. This has become the main development code as YAP provides a comprehensive compatibility layer to SWI's C interface [20]. The library and examples presented here can be downloaded from our website (http://bioinformatics.…”

Section: Discussionmentioning

confidence: 99%

Integrative Functional Statistics in Logic Programming

Angelopoulos

Costa

Azevedo

et al. 2013

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

We present r..eal, a library that integrates the R statistical environment with Prolog. Due to R's functional programming affinity the interface introduced has a minimalistic feel. Programs utilising the library syntax are elegant and succinct with intuitive semantics and clear integration. In effect, the library enhances logic programming with the ability to tap into the vast wealth of statistical and probabilistic reasoning available in R. The software is a useful addition to the efforts towards the integration of statistical reasoning and knowledge representation within an AI context. Furthermore it can be used to open up new application areas for logic programming and AI techniques such as bioinformatics, computational biology, text mining, psychology and neuro sciences, where R has particularly strong presence.

show abstract

Section: Discussionmentioning

confidence: 99%

Integrative Functional Statistics in Logic Programming

Angelopoulos

Costa

Azevedo

et al. 2013

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

show abstract

“…One obvious advantage is that it helps accommodate the programmer's need for syntactic sugar, while keeping changes in the kernel language at a minimum. It also offers benefits for portability, since it makes it possible to keep a common front end (or a set of language features) and plug in different kernel engines (e.g., Prolog systems) at the back end, as long as they provide access to the same kernel language (or one that is rich enough) [15].…”

Section: Discussionmentioning

confidence: 99%

Modular Extensions for Modular (Logic) Languages

Morales

Hermenegildo

Haemmerlé³

2012

Logic-Based Program Synthesis and Transformation

View full text Add to dashboard Cite

Abstract. We address the problem of developing mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately. At the same time, the sources and targets for the extensions are modular languages, i.e., such extensions may take as input separate pieces of code and also produce separate pieces of code. Dealing with this double requirement involves interesting challenges to ensure that modularity is not broken: first, combinations of extensions (as if they were a single extension) must be given a precise meaning. Also, the separate translation of multiple sources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argue that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.

show abstract

“…A post in the ALP newsletter, Bagnara (1999) pointed out that many implementations differed from the standard in at least some way, and that those differences were poorly documented. Other shortcomings were pointed out by several Prolog system main contributors, such as, e.g., by Carlsson and Mildner (2012), Diaz et al (2012), and Wielemaker and Costa (2011). However, both aspects, adoption of the core standard and precise documentation of where each system departs from the standard, have improved progressively.…”

Section: The Iso Standard and Portability Of Prolog Codementioning

confidence: 99%

Fifty Years of Prolog and Beyond

Körner¹,

Leuschel²,

Barbosa³

et al. 2022

Preprint

Self Cite

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

On the Portability of Prolog Applications

Cited by 8 publications

References 12 publications

Integrative Functional Statistics in Logic Programming

Integrative Functional Statistics in Logic Programming

Modular Extensions for Modular (Logic) Languages

Fifty Years of Prolog and Beyond

Contact Info

Product

Resources

About