(Enter summary)
Abstract: This
paper shows how one such application led to the development of a Prolog programming environment
that can support a flavour of parallelism, as well as full Prolog syntax and semantics.
The system is a prototype, inefficient and slow. Its performance, and some possible future improvements
are mentioned. It also has some advantages, in its portability and simplicity, because it is
based on a meta-interpreter. It could potentially be used as an experimental testbed for trying out various
ideas ... (Update)
Active bibliography (related documents): More All
0.2: Artificial Intelligence and Symbolic Mathematical Computation - Calmet Campbell And (1992)
(Correct)
0.2: Soundness and Completeness versus Lifting Property - Plaza (1996)
(Correct)
0.2: Logic Based Programmed Structure Rewriting Systems - Andy Schürr (1996)
(Correct)
Similar documents based on text: More All
0.2: Component-based development - Models for COTS/Software Reuse - Walseth (2001)
(Correct)
0.1: Structures of String Matching and Data Compression - Larsson (1999)
(Correct)
0.1: IBROW3 - An Intelligent Brokering Service for.. - Benjamins.. (1998)
(Correct)
BibTeX entry: (Update)
@misc{ moffat-poor,
author = "Dave Moffat",
title = "A poor man's Co-ordination of Prolog: COPr.",
url = "citeseer.ist.psu.edu/42149.html" }
Citations (may not include all citations):
63
Parallel logic programming in PARLOG (context) - Steve - 1987
9
Program transformations and WAM support for the compilation .. (context) - Paul - 1992
6
Techniques for Implementing contexts in logic programming (context) - Denti, Lamma et al. - 1993
5
Prolog II : a language for implementing multi-agent systems (context) - Chu - 1993
4
Logic Programming (context) - Voronkov - 1992
1
A subset of concurrent prolog and its interpreter (context) - LNAI-, Ehud - 1987
1
Available by anonymous ftp from /clement (context) - de Moncton, report - 1993
1
and Takashi Chikayama [1985] Concurrent Prolog compiler on t.. (context) - Kazunori - 1985
1
Extensions of logic programming: proceedings of ELP (context) - Lamma, Mello - 1993
1
Faculty of Psychology: SWI technical report (context) - Jan, Reference et al. - 1992
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/dblp/db/conf/iclp/iclp94-w1.html): More
Design of a Resolution Multiprocessor for the Parallel Virtual .. - Hamish Taylor
(Correct)
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996)
(Correct)
A Proposal to Merge Object Orientation, Logic Programming.. - Vincenzo Ambriola
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC