goi

From Lojban
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.