604 Hits in 3.8 sec

Compiling Extended Concurrent Prolog -single queue compilation- [chapter]

Jiro Tanaka, Makoto Kishishita
1986 Lecture Notes in Computer Science  
Extended Concurrent Prolog (ECP) [Fujitsu 85, Tanaka 85a] is an variant of Concurrent Prolog (CP) [Shapiro 83] with OR-parallel, set-abstraction and recta-inference features.  ...  In this paper, we describe the implementation of ECP "compiler" by showing how these extended features of ECP can be compiled to a Prolog program.  ...  As an example of such parallel logic languages, we assume Extended Concurrent Prolog (ECP) [Fujitsu 85, Tanaka 85a] , which is an variant of Concurrent Prolog (CP) with OR-parallel, set-abstraction and  ... 
doi:10.1007/3-540-16442-1_23 fatcat:uxhmxqo5zjg7plpynshrktbcoq

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) [chapter]

J. Correas, J. M. Gómez, M. Carro, D. Cabeza, M. Hermenegildo
2004 Lecture Notes in Computer Science  
the clustering optimization and pre-compiles p(X,Z),q(Z,Y) into a single SQL query.  ...  they can be clustered and, using mode information, the SQL expression corresponding to the entire complex goal compiled as a single unit.  ... 
doi:10.1007/978-3-540-24836-1_8 fatcat:vjdsy2et6ffuzfbyvnexqg5pcm

A sequential abstract machine for flat concurrent prolog

Avshalom Houri, Ehud Shapiro
1989 The Journal of Logic Programming  
A variable is a single assignment variable, which may have two types of occurrences: a writable occurrence by which the variable can be assigned, and a read-only occurrence that cannot be used for assigning  ...  D This paper describes a uniprocessor implementation of Flat Concurrent Prolog, based on an abstract machine and a compiler for it.  ...  However, Prolog does not explicitly provide the notion of concurrency.  ... 
doi:10.1016/0743-1066(89)90011-3 fatcat:gtdydjcuu5ckjaiw3ptgxeh72i

OR-parallel PROLOG in flat concurrent PROLOG

Ehud Shapiro
1989 The Journal of Logic Programming  
The algorithm can be implemented directly in Flat Concurrent PROLOG.  ...  The implementation is easily extended. We show an extension that performs parallel demand-driven search.  ...  Not seeing a method for tightly integrating the capabilities of PROLOG with the concurrent component of PARLOG, the designers simply defined two sublanguages-the single-solution sublanguage, and the all-solutions  ... 
doi:10.1016/0743-1066(89)90016-2 fatcat:ee6xvsrjkfc3bnj7q72hdcfi4e

P#: a concurrent Prolog for the .NET framework

Jonathan J. Cook
2004 Software, Practice & Experience  
This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code.  ...  Like Java, C# is compiled into an intermediate language.  ...  We developed P# [42] by porting and extending the Prolog to Java translator, Prolog Café.  ... 
doi:10.1002/spe.594 fatcat:6lzcpopojncxjlzlzuuvg73icu

On the Implementation of GNU Prolog [article]

Daniel Diaz, Salvador Abreu, Philippe Codognet
2010 arXiv   pre-print
Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition.  ...  GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces standalone executables  ...  in the queue.  ... 
arXiv:1012.2496v2 fatcat:ykmu3xr72rcjbj5wprhmxvqvny

On the implementation of GNU Prolog

2011 Theory and Practice of Logic Programming  
Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition.GNU Prologalso  ...  AbstractGNU Prologis a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces stand-alone  ...  in the queue.  ... 
doi:10.1017/s1471068411000470 fatcat:4lyap34zeraspagmall4rzhuly

Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming [chapter]

Hamish Taylor
1992 Logic Programming New Frontiers  
A comprehensive approach to programming concurrent knowledge based systems in logic must cater for both knowledge processing and systems handling capabilities.  ...  single tasking and single user knowledge based systems.  ...  The result is a general compilation strategy for Prolog programs to FGHC.  ... 
doi:10.1007/978-94-011-2562-8_12 fatcat:yryf3yb4f5g3xfdyfezrbtzmhe

Applying Prolog to develop distributed systems

2010 Theory and Practice of Logic Programming  
DAHL extends Prolog with an event-driven control mechanism and built-in networking procedures.  ...  In this paper we present a Prolog-based programming system, called DAHL, for the declarative development of distributed systems.  ...  Since each message sent was serialized to a single atom, it led to an explosion in memory usage because the SICStus Prolog compiler aggressively caches all atoms.  ... 
doi:10.1017/s1471068410000360 fatcat:zlpi4rqvtjbonlr3nxljlqczva

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

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
extends Prolog with polymorphic order-sorted (dynamic) types.  ...  Springer, 1992.The Börger-Rosenzweig specification and correctness proof for compiling Prolog to WAM [49] is extended in modular fashion to the type-constraint logic programming language Protos-L which  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Experience with PMS-Prolog: A distributed, coarse-grain-parallel prolog with processes, modules and streams

Michael J. Wise
1993 Software, Practice & Experience  
EPILOG (and by many other systems) is based on operations with a granularity equal to a single unification.  ...  Prolog processes are formally defined and interprocess communication is explicit. An overview of PMS-Prolog is provided, followed by an examination of the PMS-Prolog solutions to four problems.  ...  REWRITE OF THE COMPILER FROM STERLING AND SHAPIRO Listed in Figure 6 is part of a reworking, in PMS-Prolog, of the compiler for a small language (PL) described in Sterling and Shapiro's well-known Prolog  ... 
doi:10.1002/spe.4380230203 fatcat:kic4salznvaw5m5sx4wdsnncnu

SWI-Prolog [article]

Jan Wielemaker and Tom Schrijvers and Markus Triska and Torbjörn Lager
2010 arXiv   pre-print
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project.  ...  In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources.  ...  Acknowledgements Continuous development of SWI-Prolog has been made possible by the SWI department of the University of Amsterdam.  ... 
arXiv:1011.5332v1 fatcat:qhg4ozrx3rdcbovojamneqdpea

1983–1993: The wonder years of sequential Prolog implementation

Peter Van Roy
1994 The Journal of Logic Programming  
-Concurrent languages.  ...  It runs ESP (extended sequential Prolog), a Prolog extended with object-oriented features. More than 100 machines were shipped.  ... 
doi:10.1016/0743-1066(94)90031-0 fatcat:kmwktuqn6ndovmlonzxyuxn5im

High-Level Multi-Threading in hProlog [article]

Timon Van Overveldt, Bart Demoen
2011 arXiv   pre-print
A new high-level interface to multi-threading in Prolog, implemented in hProlog, is described.  ...  As such, it is not a Prolog compiler in the strict sense, but rather a layer on top of an existing compiler.  ...  However, Related Work There are a number of Prolog compilers implementing multi-threading support on different levels.  ... 
arXiv:1112.3786v2 fatcat:yjlatjvtljh3llowa4bvtaq7vm

Guest Editor's Introduction Modula-2 Experiments Will Help Future Language Designs

R.P. Cook
1986 IEEE Software  
for concurrent programming were deleted.  ...  without thank-(*add c to tail of circular queue*) inclusion.  ...  During the 1970's, for example, there * Does the compiler provide errorwere literally hundreds of papers on con-checking that would not be available with Rlert P current programming languages.  ... 
doi:10.1109/ms.1986.234419 fatcat:5lxnkq5cerflxofslwbk5cgeem
« Previous Showing results 1 — 15 out of 604 results