Tilrådd term
Horn-logikk
Type
- Innholdsbeskrivende emne
Definisjon
- 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>
Overordna omgrep
Identifikator
- HUME63649
Redaksjonelle merknadar
- Lukket bemerkning: ubo24
På andre språk
engelsk
- Horn logic
- Horn clause
norsk nynorsk
URI
http://data.ub.uio.no/humord/c63649