Hornova klauzule: Porovnání verzí

Odebráno 13 bajtů ,  před 10 lety
m
sjednocení pahýlů na jednotnou šablonu {{Pahýl}} dle Wikipedie:Žádost o komentář/Šablony pahýlů
m (r2.6.4) (robot přidal: kk:Хорн өрнегі)
m (sjednocení pahýlů na jednotnou šablonu {{Pahýl}} dle Wikipedie:Žádost o komentář/Šablony pahýlů)
Hornova klauzule obsahující právě jeden pozitivní literál a několik (nejméně jeden) negativních, vyjadřuje implikaci. Někdy se označuje jako ''určitá klauzule'', v jazyce Prolog odpovídá pravidlu (<code>A :- B1, B2, ..., Bn.</code>). Klauzule obsahující pouze jeden pozitivní literál a žádné negativní odpovídá prostému tvrzení. Někdy se označuje jako ''cílová klauzule'', v jazyce Prolog odpovídá faktu (<code>A :- true.</code>, případně prostě <code>A.</code>). Klauzule neobsahující žádný pozitivní literál a obsahující několik negativních odpovídá v jazyce Prolog dotazu (<code>?- B1, B2, ..., Bn.</code>).
 
{{Pahýl - matematika}}
{{Portály|Matematika}}
 
1 429 381

editací