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. . 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). In addition suitable contents:
[ 2 ] [ = ] [ @ ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ AND ] [ ar ] [ arc ] [ ARL ] [ as ] [ assignment ] [ at ] [ B ] [ b ] [ ba ] [ backtracking ] [ C ] [ ca ] [ cat ] [ ch ] [ ck ] [ co ] [ com ] [ D ] [ de ] [ do ] [ doc ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ eg ] [ er ] [ et ] [ fi ] [ file ] [ fr ] [ G ] [ ge ] [ GHC ] [ gi ] [ gn ] [ gr ] [ gu ] [ guard ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ it ] [ K ] [ ke ] [ ken ] [ ki ] [ la ] [ Lex ] [ LO ] [ ls ] [ ly ] [ M ] [ ma ] [ Mac ] [ mail ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ N ] [ na ] [ ND ] [ ng ] [ ni ] [ nl ] [ no ] [ nondeterminism ] [ nr ] [ ns ] [ O ] [ om ] [ output ] [ pa ] [ PC ] [ pe ] [ PH ] [ ph ] [ pl ] [ PM ] [ Prolog ] [ query ] [ rc ] [ re ] [ RL ] [ rl ] [ ro ] [ S ] [ se ] [ si ] [ sig ] [ sm ] [ so ] [ SP ] [ SPM ] [ Strand ] [ T ] [ tar ] [ td ] [ th ] [ tp ] [ tr ] [ track ] [ tracking ] [ tt ] [ ua ] [ uk ] [ unification ] [ up ] [ Z ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5478 Reads) |
