shirabe.org
Meaning
  1. 1
    English · JMdict
    Horn clause
  2. 2
    English · Wikipedia

    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. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.

    Read full article on Wikipedia · CC-BY-SA

Forms
Save this word to start reviewing it with spaced repetition. Save word

Grammar codex

What the coloured tags mean

Hiragana

ひらがな

The rounded, flowing kana. Hiragana writes native Japanese words, grammar endings, and anything without (or alongside) kanji — it's the first script you learn. Each character stands for one syllable.

Example

ねこ — cat