Module builtins 

Browseable logic builtin bindings.

Structs

BuiltinBinding

Data record describing one builtin goal.

BuiltinCtx

Context handed to every builtin projection.

BuiltinTable

Table of builtin goal bindings.

Functions

tabling_memo_binding

Builds a sequence-organ tabling memo binding for predicate.

Type Aliases

BuiltinSolve

Projection function used by a builtin binding.