Parlog

2 definitions found

From The Free On-line Dictionary of Computing (27 SEP 03) [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: .
       
       

From The Free On-line Dictionary of Computing (27 SEP 03) [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}).