{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:PN6Y34G2ZYTVUCU7MYB67RBBA4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b3548d72b883d10934c76ef2365891d467b2f6de2391fccee34e78e96d2ab7a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-05T14:09:30Z","title_canon_sha256":"c1e15aa52c7b2cf462c64f489d03cfd7f4f82050571226e64e94cc0bc1eccdce"},"schema_version":"1.0","source":{"id":"1406.1393","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.1393","created_at":"2026-05-18T02:50:23Z"},{"alias_kind":"arxiv_version","alias_value":"1406.1393v1","created_at":"2026-05-18T02:50:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.1393","created_at":"2026-05-18T02:50:23Z"},{"alias_kind":"pith_short_12","alias_value":"PN6Y34G2ZYTV","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PN6Y34G2ZYTVUCU7","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PN6Y34G2","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:76043d1614f239f26bbe3da3625790438816605b9948627cf7ba638f7d51bfa3","target":"graph","created_at":"2026-05-18T02:50:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Unification of logic variables instantly connects present and future observations of their value, independently of their location in the data areas of the runtime system. The paper extends this property to \"interclausal logic variables\", an easy to implement Prolog extension that supports instant global information exchanges without dynamic database updates. We illustrate their usefulness with two of algorithms, {\\em graph coloring} and {\\em minimum spanning tree}. Implementations of interclausal variables as source-level transformations and as abstract machine adaptations are given. To addres","authors_text":"Fahmida Hamid, Paul Tarau","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-05T14:09:30Z","title":"Interclausal Logic Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.1393","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3ed7b29d37b491af714329aa8f16db781b66b34ced872b449bec49a2d3966394","target":"record","created_at":"2026-05-18T02:50:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b3548d72b883d10934c76ef2365891d467b2f6de2391fccee34e78e96d2ab7a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-06-05T14:09:30Z","title_canon_sha256":"c1e15aa52c7b2cf462c64f489d03cfd7f4f82050571226e64e94cc0bc1eccdce"},"schema_version":"1.0","source":{"id":"1406.1393","kind":"arxiv","version":1}},"canonical_sha256":"7b7d8df0dace275a0a9f6603efc421072352371675c9801b80064d66bc6f7ee2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b7d8df0dace275a0a9f6603efc421072352371675c9801b80064d66bc6f7ee2","first_computed_at":"2026-05-18T02:50:23.370666Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:23.370666Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kqlrPuidtWdD+5H93O+Re02hs8zlFTvlDXnLLWvof8kYUXKYxYbHc7/2wJc1E6SjtsZ6LffisDYbSXVBCKAFAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:23.371252Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.1393","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ed7b29d37b491af714329aa8f16db781b66b34ced872b449bec49a2d3966394","sha256:76043d1614f239f26bbe3da3625790438816605b9948627cf7ba638f7d51bfa3"],"state_sha256":"79066272293d9bd7053ec000d4a7c4226cf4bf21f3aef2d415f73b48ff9a1ce1"}