---

title: Packaging must let users install Mutalog as a SWI-Prolog pack with pack_install(mutalog). status: open text_ref: readme:README.md#L20 tags:

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

semantic_text: Packaging must let users install Mutalog as a SWI-Prolog pack with pack_install(mutalog). logic_claims:

• CLAIM-6CB5F995D76A1CAD

semantic_clauses:

• Packaging must let users install Mutalog as a SWI-Prolog pack with pack_install(mutalog).

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 1d303bf133bca738428267d5a277bc6e82a2d34e0cb112422973f8c071b95279 semantic_inventory:

• claim_key: CLAIM-6CB5F995D76A1CAD claim_text: Packaging must let users install Mutalog as a SWI-Prolog pack with pack_install(mutalog) role: normative status: modeled span: start: 0 end: 88 origin: kind: import ref: readme:README.md#L20 recorded_at: '2026-10-29T16:05:36.122Z' firmness: firm required_evidence: asserted id: REQ-AUTO-957337CBB4A00275 type: req --- Packaging must let users install Mutalog as a SWI-Prolog pack with pack_install(mutalog).

Context

The pack list is how SWI-Prolog users discover and install libraries, so installing by name is the main install path the README documents.

Source

?- pack_install(mutalog).

Source: Mutalog README - README.md#L20