Expand description
Prolog term representation (compiler-side AST).
Ported from patch-prolog’s term.rs, minus the serde derives — the
compiled artifact is native code + a static atom table, never a
serialized term database.
Structs§
- Clause
- A Prolog clause: head :- body. For facts, body is empty.
Enums§
- First
ArgKey - Key for first-argument indexing.
- Term
- Prolog term representation.