Filters








425 Hits in 5.0 sec

Description and Optimization of Abstract Machines in a Dialect of Prolog

JOSÉ F. MORALES, MANUEL CARRO, MANUEL HERMENEGILDO
2015 Theory and Practice of Logic Programming  
Thanks to the high-level of the language used and its closeness to Prolog, the abstract machine description can be manipulated using standard Prolog compilation and optimization techniques with relative  ...  Writing the abstract machine (and ancillary code) in a higher-level language can help tame this inherent complexity.  ...  Acknowledgements This work was funded in part by the Information Society Technologies program of the European Commission, through EU project FP7 318337 ENTRA, by the Spanish Ministry of Economy and Competitiveness  ... 
doi:10.1017/s1471068414000672 fatcat:os744fi5x5dbza5kpjv2v43zym

Automatic design and implementation of language data types

S. T. Shebs, R. R. Kessler
1987 Papers of the Symposium on Interpreters and interpretive techniques - SIGPLAN '87  
lik e Lisp, Prolog, and Smalltalk .  ...  A formalism fo r describing implementations has been developed an d used in a prototype designer of primitive data structures .  ...  We thank the members of the Utah Portable AI Support Systems group, especiall y Harold Carr, Jed Krohnfeldt, and Sandra Loosemor e for many discussions, not to mention reading draft s on short notice!  ... 
doi:10.1145/29650.29653 dblp:conf/pldi/ShebsK87 fatcat:ifr2k3v325enbdkwn2udrlqzby

Memory- and buffer-referencing characteristics of a WAM-based PROLOG

Evan Tick
1991 The Journal of Logic Programming  
D Several local data buffers are proposed and measurements are presented for variations of the Warren-abstract-machine (WAM) architecture for PROLOG . First, literature in this area is reviewed .  ...  The data-memory performance results are equally valid for native code and reduced-instruction-set implementations of PROLOG .  ...  Flynn and S . Lundstrom for their criticisms . My work was supported by an IBM Graduate Fellowship .  ... 
doi:10.1016/0743-1066(91)90016-i fatcat:2emwls26avasznuvekhyjgqfgi

TWAM: A Certifying Abstract Machine for Logic Programs [article]

Brandon Bohrer, Karl Crary
2018 arXiv   pre-print
We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog.  ...  The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM).  ...  In this work, we develop the Typed Warren Abstract Machine (TWAM), a dependently-typed certifying abstract machine suitable as a compilation target for certifying compilers.  ... 
arXiv:1801.00471v1 fatcat:vlbrxo7bcbfqvhwctitcffmmbu

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

Ricardo Gonçalves, Miguel Areias, Ricardo Rocha
2017 Information  
It also supports the different dialects of the B-Prolog and XSB Prolog systems.  ...  in a wide variety of languages and technologies.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/info8040129 fatcat:2kutw2hv7zgwrbmbpmijc5qzhi

Page 2739 of Linguistics and Language Behavior Abstracts: LLBA Vol. 29, Issue 5 [page]

1995 Linguistics and Language Behavior Abstracts: LLBA  
Wierzbicka’s Semantic and Lexical Universals: Theory and Empirical Findings reviewed; 9511631 simple sentence regularity /ambiguity, abstract traditional grammar model; 9510974 Sommers, F., The Logic of  ...  i Factors in Speech: A Collection of Papers reviewed; 12301 textual microstructural model, natural text linguistics, text strategy markedness; 9511204 Negation affixation process instability, Iroquoian  ... 

Towards an Automated Test Bench Environment for Prolog Systems

Ricardo Gonçalves, Miguel Areias, Ricardo Rocha, Marc Herbstritt
2017 Symposium on Languages, Applications and Technologies  
(YAPTBE), aimed to assist developers in the development and CI of Prolog systems.  ...  In this paper, we extend a previous work on a benchmark suite for the Yap Prolog system and we propose a fully automated test bench environment for Prolog systems, named Yet Another Prolog Test Bench Environment  ...  In 1983, Warren proposed a new abstract machine for executing compiled Prolog code that has come to be known as the Warren Abstract Machine, or simply WAM [19] .  ... 
doi:10.4230/oasics.slate.2017.2 dblp:conf/slate/GoncalvesA017 fatcat:cuz4ojlwu5cojjwcummd7knuta

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  
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.  ...  We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code.  ...  We made a strong effort to preserve source compatibility with existing Prolog code, and declaring special libraries and dialectic changes explicitly.  ... 
doi:10.1017/s1471068412000336 fatcat:reuxpfqs6bbotlgfcg6dp5j6ia

The execution algorithm of mercury, an efficient purely declarative logic programming language

Zoltan Somogyi, Fergus Henderson, Thomas Conway
1996 The Journal of Logic Programming  
We present a new and relatively simple execution model that takes advantage of the information these systems provide, yielding very efficient code.  ...  Our benchmarking shows that the code generated by our implementation is significantly faster than the code generated by mature optimizing implementations of other logic programming languages.  ...  for running the Quintus Prolog benchmarks for us, David Kemp, James Harland, Jayen Vaghani, Kotagiri Ramamohanarao, Jeff Schultz, Lee Naish, and Philip Dart for their comments on drafts of this paper,  ... 
doi:10.1016/s0743-1066(96)00068-4 fatcat:ds37c7ydvfdtvdh2qx4nwlydrm

Introduction to the 30th International Conference on Logic Programming Special Issue

MICHAEL LEUSCHEL, TOM SCHRIJVERS
2014 Theory and Practice of Logic Programming  
as a special issue of Theory and Practice of Logic Programming (TPLP) - the30th International Conference on Logic Programming Special Issue.  ...  The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic.  ...  Several Prolog interpreters are based on the Warren Abstract Machine (WAM), an elegant model to compile Prolog programs.  ... 
doi:10.1017/s1471068414000581 fatcat:6fczd6mhxjcutozkk6t23lvn5e

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
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.  ...  Finally, we perform a SWOT analysis in order to better identify the potential of Prolog, and propose future directions along which Prolog might continue to add useful features, interfaces, libraries, and  ...  The authors also endorse Paul McJones' efforts to maintain a historical archive on Prolog, at http://www.softwarepreservation.org/projects/prolog/, and thank all contributors.  ... 
arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq

ECLiPSe - from LP to CLP [article]

Joachim Schimpf, Kish Shen
2010 arXiv   pre-print
ECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications.  ...  It is also used for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques.  ...  For making the whole endeavour possible in terms of funding and environmental stability, thanks are due to Hervé Gallaire at ECRC, Barry Richards at IC-Parc, Parc Technologies and Crosscore, and most recently  ... 
arXiv:1012.4240v1 fatcat:zsjjglhxyvex3mqts3yjqnsc4y

SICStus Prolog -- the first 25 years [article]

Mats Carlsson, Per Mildner
2010 arXiv   pre-print
SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect camps and a fledgling standardization effort.  ...  SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons.  ...  The Industrialization of SICStus Prolog (1988)(1989)(1990)(1991) was funded by Ericsson Telecom AB, NobelTech Systems AB, Infologics AB, and Televerket, under the National Swedish  ... 
arXiv:1011.5640v1 fatcat:x6prlqjus5ggjn3t6m5mldby5q

Dexferizer: A service for data transfer optimization

Ercan Ucan, Timothy Roscoe
2011 2011 IEEE Nineteenth IEEE International Workshop on Quality of Service  
We present an approach to optimizing the transfer of data objects within a user's collection of computers and personal devices, subject to a variety of user-defined quality metrics such as cost, power  ...  By abstracting object transfer as a high-level service, and employing declarative networking techniques to cast object transfer as a constrained optimization problem, we show how to transparently exploit  ...  Transfer scheduling and optimization code of Dexferizer is implemented entirely in ECL i PS e constraint logic programming language, a dialect of Prolog with constraint programming extensions.  ... 
doi:10.1109/iwqos.2011.5931343 dblp:conf/iwqos/UcanR11 fatcat:hir7iapyi5da5o2itxx23yia54

A review of current defeasible reasoning implementations

Daniel Bryant, Paul Krause
2008 Knowledge engineering review (Print)  
An important goal of this paper is to argue for the need for well designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine  ...  We aim to summarise the current state of the art in the research area, show that there are many similiarities and connections between the various implementations and also highlight the differences regarding  ...  Additionally, an abstract machine named Justification Abstract Machine (JAM) has been designed for the implementation of DeLP as an extension of the Prolog Warrens Abstract Machine (WAM).  ... 
doi:10.1017/s0269888908001318 fatcat:wnrfzrfocnfa3dk5luuvdwsjcy
« Previous Showing results 1 — 15 out of 425 results