From Lojban
Revision as of 11:22, 30 July 2014 by Gleki (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

These are the rules for deciding what ko'a goi la djan. means (either can be the definiens, either can be the definiendum):

  • If you know what ko'a means, then la djan. is defined to mean whatever ko'a means.
  • If you know what la djan. means, then ko'a is defined to mean whatever la djan means.
  • If you don't know what either means, then they mean the same, but what they mean will have to arrive in future -- until then neither one is usable.
  • If you know what both mean, and they already mean the same thing, the goi-phrase is unnecessary.
    • No, then it reaffirms their sameness.
  • If you know what both mean, and they mean different things, bzzzzzt, semantic error.
    • No, then ko'a goi la djan. is asserting that John is ko'a - maybe wrong, but semantically feasible.

This is the algorithm called "unification" in Prolog.