Module term 

Structs

Clause

A Prolog clause: head :- body. For facts, body is empty.

StringInterner

Interned string table: AtomId <-> String mapping. Atoms are interned at build time so unification compares integers, not strings.

Enums

FirstArgKey

Key for first-argument indexing.

Term

Prolog term representation.

Type Aliases

AtomId

VarId