Filters








1,703 Hits in 4.8 sec

KWIC (key word in context)

1984 The Journal of Logic Programming  
[336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  Model to Efficient Compilation of Patterns [166]From Abstract PROLOG Instruction Set [672]An Abstract PROLOG Machine-a Specification [383] Abstract PROLOG Machine and its Application to Partial Evaluation  ...  Programming [203]PROLOG Interpreter by a Concurrent Programming Language [447]Implementation of a PROLOG Interpreter [444]Foolog-a Small and Efficient PROLOG Interpreter [465]A PROLOG Demand  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

Book reports

1991 Computers and Mathematics with Applications  
The benefits of giobal dataflow analysis for an optimizing prolog compiler. 29. An algebraic framework for abstract interpretation of definite programs. 30. Analysis of constraint programs. Part XI.  ...  Methods of programming. 5. Data structure design. 6. Sequences. 7. Writing interpreters. 8. Some notes on grammar rules. 9. Prolog macros. 10 . Writing tokenlsers in prolog. 11. All solutions.  ... 
doi:10.1016/0898-1221(91)90056-a fatcat:orugqwgfgvdd5km6epzzee6urq

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.  ...  A full version containing optimizations and proofs appeared under the title Towards a Mathematical Specification of a Narrowing Machine as research report DIA 94/5, Dpto.  ...  An abstract of this was issued as Full Prolog in a Nutshell in Logic Programming (Proceedings of the 10th International Conference on Logic Programming) (D. S. Warren, Ed.), MIT Press 1993.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Towards a methodology for the design of abstract machines for logic programming languages

Ulf Nilsson
1993 The Journal of Logic Programming  
By means of partial deduction and other program transformation techniques, an interpreter and a source program are "compiled" into a new residual program consisting of: 1) "machine code" for the source  ...  We illustrate these principles by reconstructing several of the control instructions of Warren's Abstract Machine.  ...  Both the interpreter and the new program will be Prolog programs.  ... 
doi:10.1016/0743-1066(93)90026-d fatcat:llim33ua7rgshdjbpuw7ubljfa

Book reviews

1987 Computer  
The assumption of the authors, shared by many in the Prolog community, is that only by understand- ing that relationship can one hope to exploit the full potential of Prolog.  ...  The guide covers IIE products and services geared toward productivity improvement.  ... 
doi:10.1109/mc.1987.1663434 fatcat:ryfhdczjifevlc5pmas3bqct4a

The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines

PAUL TARAU
2011 Theory and Practice of Logic Programming  
passingruntime system (the "BinWAM"), based on a mapping of full Prolog tobinary logic programs.  ...  This is followed by a description of aterm compressiontechnique using a "tag-on-data" representation.  ...  Special thanks go to Koen De Bosschere, Bart Demoen, Geert Engels, Ulrich Neumerkel, Satyam Tyagi and Peter Wilson for their contribution to the implementation of BinProlog and Jinni Prolog components.  ... 
doi:10.1017/s1471068411000433 fatcat:66os2n7mgvfmbgof4fvt5akdcm

The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines [article]

Paul Tarau
2011 arXiv   pre-print
(the "BinWAM"), based on a mapping of full Prolog to binary logic programs.  ...  This is followed by a description of a term compression technique using a "tag-on-data" representation.  ...  Special thanks go to Koen De Bosschere, Bart Demoen, Geert Engels, Ulrich Neumerkel, Satyam Tyagi and Peter Wilson for their contribution to the implementation of BinProlog and Jinni Prolog components.  ... 
arXiv:1102.1178v1 fatcat:xk7uiec54fdl7mjdqxgwdxri2a

The &-Prolog system: Exploiting independent and-parallelism

M. V. Hermenegildo, K. J. Greene
1991 New generation computing  
Both automatic and manual parallelization of programs is supported.  ...  shared memory multiprocessors, which is compared to that of current Prolog systems.  ...  We believe that, with similar implementation technology, &-Prolog can be over an order of magnitude faster than state-of-the-art sequential systems on small parallel machines (10-20 processors) for programs  ... 
doi:10.1007/bf03037164 fatcat:kfxbk6asfvdz3mu4bffihj44rq

Designing a high performance parallel logic programming system

M. V. Hermenegildo, R. A. Warren
1987 SIGARCH Computer Architecture News  
Compilation techniques such as those portrayed by the Warren Abstract Machine (WAM) have greatly improved the speed of execution of logic programs.  ...  The research presented herein is geared towards providing additional performance to logic programs through the use of parallelism, while preserving the conventional semantics of logic languages.  ...  Introduction The sequential performance of logic programs [12] has been greatly improved since the advent of the first Prolog interpreters by the development of evaluation and compilation techniques  ... 
doi:10.1145/25372.25377 fatcat:3ol4sv2g5ncjbfepr6klr2gx5m

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  
We also show how, by applying program transformations selectively, we obtain abstract machine implementations whose performance can match and even exceed that of state-of-the-art, highly-tuned, hand-crafted  ...  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  ...  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

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
, as well as other logic programming languages influenced by Prolog.  ...  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.  ...  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

Towards Ontology-Based Program Analysis

Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen, Marc Herbstritt
2016 European Conference on Object-Oriented Programming  
Current declarative program analysis is however subject to some major limitations in supporting cooperations among analysis tools, guiding program optimizations, and often requires much effort for repeated  ...  It supports multiple analyses without separate program preprocessing, promotes cooperative Liveness analysis between two compilers, and effectively guides a data placement optimization for Graphic Processing  ...  ontology-based program analysis for guiding program optimizations.  ... 
doi:10.4230/lipics.ecoop.2016.26 dblp:conf/ecoop/ZhaoCLS16 fatcat:4rkqm6zo6nba5n52npti4fz5ja

Representations and solutions for game-theoretic problems

Daphne Koller, Avi Pfeffer
1997 Artificial Intelligence  
The system also provides a new declarative language for compactly and naturally representing games by their rules.  ...  It therefore allows the solution of games that are orders of magnitude larger than were previously possible.  ...  Acknowledgements We are deeply grateful to Richard McKelvey and Ted Turocy for going out of their way to ensure that the GAMBIT functionality we needed for our experiments was ready  ... 
doi:10.1016/s0004-3702(97)00023-4 fatcat:5lnjlzovmrb5povybkz23bmlnq

Abstract machines for programming language implementation

Stephan Diehl, Pieter Hartel, Peter Sestoft
2000 Future generations computer systems  
What is an abstract machine? Abstract machines are machines because they permit step-by-step execution of programs; they are abstract because they omit the many details of real (hardware) machines.  ...  We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent).  ...  Data flow analysis, in particular abstract interpretation, and tail recursion optimizations have been the basis of efficient implementations of Prolog [125, 127] .  ... 
doi:10.1016/s0167-739x(99)00088-6 fatcat:qx6mlakihzecvlaiorgzuwdzxi

Evolution of Artificial Intelligence Programming Languages - a Systematic Literature Review

Emmanuel Adetiba, Temitope M. Adeyemi-Kayode, Adekunle A. Akinrinmade, Funmilayo S. Moninuola, Oladipupo O. Akintade, Joke A. Badejo, Obiseye O. Obiyemi, Surendra Thakur, Abdultaofeek Abayomi
2021 Journal of Computer Science  
During the review period, the PROLOG programming language received the most attention in about 49% of publications; this was followed by LISP, which received almost 22%.  ...  Our research revealed that the prevalence of AI programming language by volume of publications had experienced peaks and valleys between 1963 and 2018; however, between 2015 to 2020, related publications  ...  KZN e-Skills CoLab, Durban University of Technology, Durban, South Africa provided support for the publication of this work.  ... 
doi:10.3844/jcssp.2021.1157.1171 fatcat:mdhkoxquwbampald7fubipyz6e
« Previous Showing results 1 — 15 out of 1,703 results