Übersetzung für 'horn clause' von Englisch nach Deutsch

horn clause

Horn-Klausel {f}comp.philos.

---

horn-colored ram's horn [Am.]

Posthornschnecke {f}zool.T

Werbung

flat ram's-horn / ram's horn snail [Hippeutis complanatus]

Linsenförmige Tellerschnecke {f}zool.T

smooth ram's-horn / ram's horn (snail) [Gyraulus laevis]

Glattes Posthörnchen {n} [Süßwasserschneckenart]zool.T

5-percent clause <5-% clause>

5-Prozent-Klausel {f} <5 %-Klausel>pol.

ramshorn / ram's-horn / ram's horn snail [Planorbis planorbis]

Gemeine Tellerschnecke {f}zool.T

clause

Nebensatz {m}ling.

Abschnitt {m} [in einem Dokument]law

Gliedsatz {m}ling.

Teilsatz {m}ling.

Klausel {f}

Eintragung {f}

Vorbehalt {m}law

Anweisung {f}

Satzteil {m}ling.

Satz {m} [Teilsatz]ling.

Paragraph {m}

Vertragsartikel {m}

to clause

schließen

horn

Bandanschlusssteg {m}watches

Schalltrichter {m}

• ∨ "s'n" ≠ "t'n" ∨ "s" = "t"—that is, as a definite Horn clause.
• Some programmers call the cut a controversial control facility because it was added for efficiency reasons only and is not a Horn clause.
• showed that the natural language of legal documents bears a close resemblance to the Horn clause subset of first order predicate calculus.
• A Horn clause is a clause with at most one positive literal, called the "head" of the clause, and any number of negative literals, forming the "body" of the clause.
• A "clause" is a disjunction of literals (or a single literal). A clause is called a "Horn clause" if it contains at most one positive literal.

• The first sentence is grammatical as the Horn clause is a complement of a CNRP "expect," and can therefore raise up to the main clause while still being interpretable in the embedded clause.
• Later versions of concurrent logic programming include Shapiro's Concurrent Prolog and Ueda's Guarded Horn Clause language.
• In 1991, Dexter Kozen axiomatized regular expressions as a Kleene algebra, using equational and Horn clause axioms.
• The automated theorem provers discussed below can prove theorems in first-order logic. Horn clause logic is more restricted than first-order logic and is used in logic programming languages such as Prolog.
• In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory.

• Basing logic programming within linear logic has resulted in the design of logic programming languages that are considerably more expressive than those based on classical logic. Horn clause programs can only represent state change by the change in arguments to predicates.