---

title: Packaging must require only SWI-Prolog 9.0 or later and nothing outside the SWI-Prolog distribution. status: open text_ref: readme:README.md#L13 tags:

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

semantic_text: Packaging must require only SWI-Prolog 9.0 or later and nothing outside the SWI-Prolog distribution. logic_claims:

• CLAIM-F41496DB7B7BFFCA

semantic_clauses:

• Packaging must require only SWI-Prolog 9.0 or later and nothing outside the SWI-Prolog distribution.

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 57e4abd3039f49afb15d4b4468f2d6a5b83de3ace302751acac7d6d27d7905e7 semantic_inventory:

claim_key:CLAIM - F41496DB7B7BFFCA

claim_text: Packaging must require only SWI-Prolog 9.0 or later and nothing outside the SWI-Prolog distribution role: normative status: modeled span: start: 0 end: 99 origin: kind: import ref: readme:README.md#L13 recorded_at: '2026-10-29T16:05:30.887Z' firmness: firm required_evidence: asserted id: REQ-AUTO-674E6097A8013135 type: req --- Packaging must require only SWI-Prolog 9.0 or later and nothing outside the SWI-Prolog distribution.

Source

SWI-Prolog 9.0 or later. Mutalog has no dependencies outside the SWI-Prolog distribution.

Source: Mutalog README - README.md#L13