Filters








183 Hits in 6.3 sec

Lightweight compilation of (C)LP to JavaScript

JOSE F. MORALES, RÉMY HAEMMERLÉ, MANUEL CARRO, MANUEL V. HERMENEGILDO
2012 Theory and Practice of Logic Programming  
In turn, the use of a very high-level language facilitates the development of high-quality, complex software.  ...  We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables.  ...  The system is integrated in the Ciao repository and will be included in upcoming Ciao distributions.  ... 
doi:10.1017/s1471068412000336 fatcat:reuxpfqs6bbotlgfcg6dp5j6ia

An abstract machine for tabled execution of fixed-order stratified logic programs

Konstantinos Sagonas, Terrance Swift
1998 ACM Transactions on Programming Languages and Systems  
The SLG-WAM, which forms the engine of the XSB system, can compute in-memory recursive queries an order of magnitude faster than current deductive databases.  ...  We offer a detailed description of the algorithms, data structures, and instructions that the SLG-WAM adds to the WAM, and a performance analysis of engine overhead due to the extensions.  ...  The design and implementation of data structures and algorithms for efficient access to table space is a critical issue for the performance of any implementation of tabling.  ... 
doi:10.1145/291889.291897 fatcat:yk3bu7bmy5hp5b3fzzpzz2g2qa

The YAP Prolog system

VÍTOR SANTOS COSTA, RICARDO ROCHA, LUÍS DAMAS
2011 Theory and Practice of Logic Programming  
Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.  ...  YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer.  ...  The work presented in this paper has been partially supported by project HORUS (PTDC/EIA-EIA/100897/2008), LEAP (PTDC/EIA-CCO/112158/2009), and funds granted to LIACC and CRACS & INESC-Porto LA through  ... 
doi:10.1017/s1471068411000512 fatcat:z5bml5bi5nfhpkkugwyby6md4y

The YAP Prolog System [article]

Vítor Santos Costa, Luís Damas, Ricardo Rocha
2011 arXiv   pre-print
Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.  ...  YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer (JITI).  ...  The work presented in this paper has been partially supported by project HORUS (PTDC/EIA-EIA/100897/2008), LEAP (PTDC/EIA-CCO/112158/2009), and funds granted to LIACC and CRACS & INESC-Porto LA through  ... 
arXiv:1102.3896v1 fatcat:7cgdrcsdwfbcxfvj5sfxot4cu4

On the Implementation of GNU Prolog [article]

Daniel Diaz, Salvador Abreu, Philippe Codognet
2010 arXiv   pre-print
This article discusses the main issues involved in designing and implementing GNU Prolog: requirements, system organization, performance and portability issues as well as its position with respect to other  ...  Prolog system implementations and the ISO standardization initiative.  ...  Acknowledgements: The authors wish to acknowledge the anonymous reviewers who read early versions of this text and whose criticisms contributed to significantly improve its form and substance.  ... 
arXiv:1012.2496v2 fatcat:ykmu3xr72rcjbj5wprhmxvqvny

On the implementation of GNU Prolog

DANIEL DIAZ, SALVADOR ABREU, PHILIPPE CODOGNET
2011 Theory and Practice of Logic Programming  
This paper discusses the main issues involved in designing and implementingGNU Prolog: requirements, system organization, performance, and portability issues as well as its position with respect to other  ...  Prolog system implementations and the ISO standardization initiative.  ...  Acknowledgements The authors wish to acknowledge the anonymous reviewers who read early versions of this text and whose criticisms contributed to significantly improve its form and substance.  ... 
doi:10.1017/s1471068411000470 fatcat:4lyap34zeraspagmall4rzhuly

1983–1993: The wonder years of sequential Prolog implementation

Peter Van Roy
1994 The Journal of Logic Programming  
Information on other language families (such as concurrent languages and database languages) is given in other articles in this issue. 2.3.1. CHIP.  ...  It results in indexing on multiple arguments in practice. NU-Prolog was the basis for many implementation p.  ... 
doi:10.1016/0743-1066(94)90031-0 fatcat:kmwktuqn6ndovmlonzxyuxn5im

Fifty Years of Prolog and Beyond [article]

Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022 arXiv   pre-print
, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects.  ...  Firstly, 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  ...  The authors are particularly grateful for the effort made by the group of people (more than 120 individuals) that drafted the ISO-Prolog Standard and piloted its later evolution, and specially to Jonathan  ... 
arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq

On Applying Or-Parallelism and Tabling to Logic Programs [article]

Ricardo Rocha and Fernando Silva and Vitor Santos Costa
2003 arXiv   pre-print
Its execution model is based on the SLG-WAM for tabling, and on the environment copying for or-parallelism.  ...  Preliminary results indicate that the mechanisms proposed to parallelize search in the context of SLD resolution can indeed be effectively and naturally generalized to parallelize tabled computations,  ...  e Tecnologia and Programa POSI.  ... 
arXiv:cs/0308007v1 fatcat:3selsv5sezas7osj5c7ua7bzem

Representation sharing for Prolog

PHUONG-LAN NGUYEN, BART DEMOEN
2011 Theory and Practice of Logic Programming  
Their realization is shown in the context of the Warren Abstract Machine (WAM) as implemented by hProlog. Both can be adapted to any WAM-like Prolog implementation.  ...  The most common implementation of representation sharing in functional programming systems is known as hash-consing. In the context of Prolog, representation sharing has been given little attention.  ...  and G.0221.07 Platform independent analysis and implementation of Constraint Handling Rules.  ... 
doi:10.1017/s1471068411000421 fatcat:y2tafz3pore23gce7m6e2lz4xe

Representation Sharing for Prolog [article]

Phuong-Lan Nguyen, Bart Demoen
2011 arXiv   pre-print
Their realization is shown in the context of the WAM as implemented by hProlog. Both can be adapted to any WAM-like Prolog implementation.  ...  To appear in Theory and Practice of Logic Programming (TPLP)  ...  and G.0221.07 Platform independent analysis and implementation of Constraint Handling Rules.  ... 
arXiv:1106.1311v2 fatcat:4e7xueiguvgnbfvwq4dwf6fyty

A Simple and Efficient Implementation of Concurrent Local Tabling [chapter]

Rui Marques, Terrance Swift, José Cunha
2010 Lecture Notes in Computer Science  
SLGCL is based on the Local scheduling strategy, and is designed to support applications in which threads concurrently share tabled evaluations Version 3.1 of XSB implements SLGCL in the SLGCLWAM, which  ...  However, most implementations do not yet integrate tabling with multithreading, and in particular do not support the sharing of a tabled computation among threads.  ...  Implementing SLG CL in the SLG-WAM The main addition needed to implement SLG CL in the SLG-WAM is the Usurpation operation: its implementation mainly affects the tabletry instruction, and is summarized  ... 
doi:10.1007/978-3-642-11503-5_22 fatcat:mvwfghu5frb5zazlcsw7jo77jm

On applying or-parallelism and tabling to logic programs

RICARDO ROCHA, FERNANDO SILVA, VÍTOR SANTOS COSTA
2005 Theory and Practice of Logic Programming  
Both were always there, ready to discuss about any question and helped me to fix the problems and find the answers to carry on this work.  ...  To both I also would like to thank the revisions, comments and suggestions regarding the improvement of this thesis.  ...  Depending on the first argument of the call, they jump to specialized code that can directly index the unifying clauses.The apparent simplicity of WAM hides several intricate implementation issues.  ... 
doi:10.1017/s1471068404002030 fatcat:jr67n7b2gvaq7imahj5oxreb3u

Synchrophasor Measurement Technology in Power Systems: Panorama and State-of-the-Art

Farrokh Aminifar, Mahmud Fotuhi-Firuzabad, Amir Safdarian, Ali Davoudi, Mohammad Shahidehpour
2014 IEEE Access  
This bibliography will aid academic researchers and practicing engineers in adopting appropriate topics and will stimulate utilities toward development and implementation of software packages.  ...  INDEX TERMS Phasor measurement unit (PMU), synchrophasor measurement technology (SMT), wide-area measurement system (WAMS).  ...  on the beneficiaries, and a roadmap for WAMS implementations and its applications development [145] .  ... 
doi:10.1109/access.2015.2389659 fatcat:7jzjudyg6neyvoathkvugmh5a4

Book Reports

ErvinY. Rodin
1994 Computers and Mathematics with Applications  
Clause indexing. 9. Compilation of Prolog. 10. The d$ and freeze predicates of Prolog-II. Part III. Implementations. 11. Mini-CProlog. 12. Mini-WAM. 13. Mini-Prolog-II. 14.  ...  Built-in predicates. Conclu- sion. Appendices. A. MinXProlog. B. Mini-WAM. C. Mini-Prolog-II. D. Common part. Bibliography. Index.  ...  Can dynamic systems theory be usefully applied in areas other than motor development? 6. Dynamic approaches to infant perception and action: Old and new theories about the origins of knowledge. 7.  ... 
doi:10.1016/0898-1221(94)90102-3 fatcat:7kkgebo5zveftp5irum6grkc5q
« Previous Showing results 1 — 15 out of 183 results