| slovo | definícia |
parlog
(foldoc) | Parlog
Clark & Gregory, Imperial College 1983. An AND-parallel
Prolog, with guards and committed choice nondeterminism
(don't care nondeterminism). Shallow backtracking only.
Implementations: MacParlog and PC-Parlog from Parallel Logic
Programming Ltd., Box 49 Twickenham TW2 5PH, UK.
See also SPM.
(ftp://ftp.inria.fr/lang/Parlog.tar.Z). E-mail:
.
["Parlog: A Parallel Logic Programming Language", K.L. Clark
and S. Gregory, Imperial College, London, May 1983].
("Parlog83", in which the ouput mechanism was assignment).
["Parallel Logic Programming in PARLOG, The Language and Its
Implementation", S. Gregory, A-W 1987]. ("Parlog86", in which
the output mechanism was unification, as in GHC). (See
Strand).
|
| | podobné slovo | definícia |
kernel parlog
(foldoc) | Kernel Parlog
A modeless intermediate language for Parlog
compilation.
["Notes on the Implementation of Parlog", K.L. Clark et al, J
Logic Prog 2(1):17-42 1985].
(1996-06-07)
|
parlog++
(foldoc) | Parlog++
An object-oriented extension to MacParlog. It combines
object-oriented and parallel logic programming, giving the
benefits of both paradigms within a single coherent
development environment.
Andrew Davison , then Imperial College now U
Melbourne. Object orientation plus parallel logic, built on
top of MacParlog.
"Parlog++: A Parlog Object-Oriented Language", A. Davison,
Parlog Group, Imperial College 1988. Sold by PLP Ltd.
E-mail: .
|
sequential parlog machine
(foldoc) | Sequential Parlog Machine
SPM
(SPM) The virtual machine (and its machine code) for the
Parlog logic programming language.
(ftp://nuri.inria.fr/lang/Parlog.tar.Z).
["Parallel Logic Programming in PARLOG", Steve Gregory,
Addison-Wesely, UK, 1987].
|
|