Hornova klauzule: Porovnání verzí

Velikost nezměněna ,  před 13 lety
m
Robot automaticky nahradil text: (-[Mm]atematický pahýl +Pahýl - matematika)
m (robot přidal: nl:Horn clausule)
m (Robot automaticky nahradil text: (-[Mm]atematický pahýl +Pahýl - matematika))
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}}
{{Matematický pahýl}}
 
[[Kategorie:Logika]]
1 404 608

editací