slovodefinícia
horn clause
(foldoc)		Horn clause

A set of atomic literals with at most one {positive
literal}. Usually written

L
podobné slovodefinícia
guarded horn clauses
(foldoc)		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)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4