Grammar keywords
De Lore Is reserves 35 keywords: the words a declaration line may open with. A line that opens with anything else is a relation fact of the form pred(args) or a diagnostic. Retired spellings (for example fluent→state, wheel→cycle, the proof block ledger→proof, sort→kind) are killed forms: the parser refuses them with a renamed-to diagnostic rather than reading them as keywords.
| Keyword |
|---|
attest |
banned |
before |
cycle |
dialect |
draft |
era |
event |
export |
fact |
fork |
functional |
hypothesis |
inertial |
kind |
name |
name-part |
narration |
option |
person |
place |
practice |
principle |
proof |
question |
ratify |
rule |
same-as |
scope |
state |
term |
thing |
use |
variant |
word |