OnlineWoerterBuecher.de
Internes

Lexikon

Guarded Horn Clauses


Nguage> (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)

N="left">IN additioN suitable coNteNts:
[ = ] [ ag ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ as ] [ at ] [ au ] [ b ] [ be ] [ by ] [ C ] [ ch ] [ cl ] [ clause ] [ co ] [ com ] [ de ] [ du ] [ ec ] [ ed ] [ ee ] [ er ] [ era ] [ es ] [ et ] [ FGHC ] [ fi ] [ file ] [ fo ] [ G ] [ ge ] [ GHC ] [ goal ] [ gu ] [ guard ] [ h ] [ hose ] [ hr ] [ id ] [ il ] [ iN ] [ ir ] [ is ] [ it ] [ K ] [ KL1 ] [ la ] [ laNguage ] [ Lex ] [ ls ] [ lu ] [ ma ] [ mil ] [ mm ] [ mo ] [ mod ] [ module ] [ Na ] [ Ng ] [ Ni ] [ No ] [ NoNdetermiNism ] [ om ] [ pa ] [ Parlog ] [ ph ] [ Prolog ] [ query ] [ rc ] [ re ] [ rl ] [ ro ] [ ru ] [ S ] [ se ] [ si ] [ sm ] [ so ] [ st ] [ tc ] [ th ] [ to ] [ tr ] [ tt ] [ ua ] [ us ] [ va ] [ ve ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (3640 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.1035 Seconds, with 16 Database-Queries
Zurück zur Startseite