Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
parlog



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: <[email protected]>.

["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).




Giới thiệu VNDIC.net | Plugin từ diển cho Firefox | Từ điển cho Toolbar IE | Tra cứu nhanh cho IE | Vndic bookmarklet | Học từ vựng | Vndic trên web của bạn

© Copyright 2006-2024 VNDIC.NET & VDICT.CO all rights reserved.