Skip to main content

Module query

Module query 

Source
Expand description

Minimal goal-only parser for runtime --query strings.

Deliberately NOT the full plg-frontend parser (binary size): a query is one goal term. Supports atoms (plain and quoted), variables, integers, compounds, lists, and the standard operator set via the precedence climber in query::ops — the levels mirror plg-frontend/src/parser (the reference implementation); the differential test corpus guards against drift.

Terms are built directly on the machine heap; query variables are recorded in m.query_vars (first-occurrence order, _ excluded — the renderer sorts by name, matching v1).

Functions§

parse_query