Preferred term
Horn-logikk
Type
- Innholdsbeskrivende emne
Definition
- 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>
Broader concept
Identifier
- HUME63649
Editorial note
- Lukket bemerkning: ubo24
In other languages
English
- Horn logic
- Horn clause
Norwegian Nynorsk
URI
http://data.ub.uio.no/humord/c63649