---

title: Reader must read source files with SWI-Prolog's own reader so operators, quoting, dicts and strings are handled exactly as the compiler handles them. status: open text_ref: readme:README.md#L132 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l132
• lane:strict

semantic_text: Reader must read source files with SWI-Prolog's own reader so operators, quoting, dicts and strings are handled exactly as the compiler handles them. logic_claims:

• CLAIM-F21D845A55939F81

semantic_clauses:

• Reader must read source files with SWI-Prolog's own reader so operators, quoting, dicts and strings are handled exactly as the compiler handles them.

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 8cc762e523e880a17116a67797bc2c0cad8074e2163e1d83f90b938cb6f319c2 semantic_inventory:

claim_key:CLAIM - F21D845A55939F81

claim_text: Reader must read source files with SWI-Prolog's own reader so operators, quoting, dicts and strings are handled exactly as the compiler handles them role: normative status: modeled span: start: 0 end: 148 origin: kind: import ref: readme:README.md#L132 recorded_at: '2026-10-29T16:05:31.323Z' firmness: firm required_evidence: asserted id: REQ-AUTO-408D5C7AFB1C4E71 type: req --- Reader must read source files with SWI-Prolog's own reader so operators, quoting, dicts and strings are handled exactly as the compiler handles them.

Source

Each file is read with SWI-Prolog's own reader (prolog_read_source_term/4), so operators, quoting, dicts and strings are handled exactly as the compiler handles them.

Source: Mutalog README - README.md#L132