Horn clause
Innen matematisk logikk og logisk programmering er en Horn-logikk en logisk formel av en spesiell regelliknende form som gir den nyttige egenskaper for bruk i logisk programmering, formell spesifikasjon, universell algebra og modellteori.<wikipedia>
Lukket bemerkning: ubo24
Humord
Horn-logikk
Horn logic
Symbolic logic
Symbolsk logikk
Innholdsbeskrivende emne
Topic