dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


1 definition found
 for Guarded Horn Clauses
From The Free On-line Dictionary of Computing (30 December 2018) :

  Guarded Horn Clauses
  
      (GHC) A parallel dialect of Prolog by K. Ueda in
     which each clause has a guard.  GHC is similar to
     Parlog.  When several clauses match a goal, their guards
     are evaluated in parallel and the first clause whose guard is
     found to be true is used and others are rejected.  It uses
     committed-choice nondeterminism.
  
     See also FGHC, KL1.
  
     (1995-05-09)
  

Contact=webmaster@dict.org Specification=RFC 2229