{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:SDC5QBXXVA6BEAABD54E5ELDZV","short_pith_number":"pith:SDC5QBXX","canonical_record":{"source":{"id":"1102.1178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-02-06T17:43:54Z","cross_cats_sorted":[],"title_canon_sha256":"6b969056c65216e16e6847c9ce2b5a1c0e5a5e80dc241c803c453730ffc34cce","abstract_canon_sha256":"d8d3daab7390fabc455c2c90f1d923834064316a03489c8ca8e8d656cc685162"},"schema_version":"1.0"},"canonical_sha256":"90c5d806f7a83c1200011f784e9163cd69b164aeec1fc53721c9989ce6949f20","source":{"kind":"arxiv","id":"1102.1178","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.1178","created_at":"2026-05-18T04:29:54Z"},{"alias_kind":"arxiv_version","alias_value":"1102.1178v1","created_at":"2026-05-18T04:29:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.1178","created_at":"2026-05-18T04:29:54Z"},{"alias_kind":"pith_short_12","alias_value":"SDC5QBXXVA6B","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"SDC5QBXXVA6BEAAB","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"SDC5QBXX","created_at":"2026-05-18T12:26:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:SDC5QBXXVA6BEAABD54E5ELDZV","target":"record","payload":{"canonical_record":{"source":{"id":"1102.1178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-02-06T17:43:54Z","cross_cats_sorted":[],"title_canon_sha256":"6b969056c65216e16e6847c9ce2b5a1c0e5a5e80dc241c803c453730ffc34cce","abstract_canon_sha256":"d8d3daab7390fabc455c2c90f1d923834064316a03489c8ca8e8d656cc685162"},"schema_version":"1.0"},"canonical_sha256":"90c5d806f7a83c1200011f784e9163cd69b164aeec1fc53721c9989ce6949f20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:29:54.834034Z","signature_b64":"aBR0zod5/wOgwEedgY2XTApdaYiIqvNnMnwGRLleyKzfqDUdTudGwyZeEwgPF6/CioihqHx3ys91pMdNfY96Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90c5d806f7a83c1200011f784e9163cd69b164aeec1fc53721c9989ce6949f20","last_reissued_at":"2026-05-18T04:29:54.833442Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:29:54.833442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.1178","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:29:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i8WHOHGY5m6s77+hyw5a/2llN5Wi6gSaZaRiUfuIpURmFQIVzLr0VNs6cuE9nThhDZ+pw9C/lYHGObcEWFvRAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:51:50.878418Z"},"content_sha256":"d5cd7e1768d6e96b9fb80650bd3bf367c169e5d65d9ab5256d5becbf8c6dd723","schema_version":"1.0","event_id":"sha256:d5cd7e1768d6e96b9fb80650bd3bf367c169e5d65d9ab5256d5becbf8c6dd723"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:SDC5QBXXVA6BEAABD54E5ELDZV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Paul Tarau","submitted_at":"2011-02-06T17:43:54Z","abstract_excerpt":"We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design.\n  With focus on its differences with conventional WAM implementations, we explain key details of BinProlog's compilation technique, which replaces the WAM with a simplified continuation passing runtime system (the \"BinWAM\"), based on a mapping of full Prolog to binary logic pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.1178","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:29:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rCi0lzJoq1QvaOqAJi9I9fdVYq2ldszqvnRVxgm6i/5BzteAW+4JsL/OlkVWZAB3ghOp/ehK697sU6auKHNhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:51:50.878836Z"},"content_sha256":"4761422a2475fe2d527ec036cb011d3013761424781a65a86b9dfca456b4499b","schema_version":"1.0","event_id":"sha256:4761422a2475fe2d527ec036cb011d3013761424781a65a86b9dfca456b4499b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SDC5QBXXVA6BEAABD54E5ELDZV/bundle.json","state_url":"https://pith.science/pith/SDC5QBXXVA6BEAABD54E5ELDZV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SDC5QBXXVA6BEAABD54E5ELDZV/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-25T18:51:50Z","links":{"resolver":"https://pith.science/pith/SDC5QBXXVA6BEAABD54E5ELDZV","bundle":"https://pith.science/pith/SDC5QBXXVA6BEAABD54E5ELDZV/bundle.json","state":"https://pith.science/pith/SDC5QBXXVA6BEAABD54E5ELDZV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SDC5QBXXVA6BEAABD54E5ELDZV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:SDC5QBXXVA6BEAABD54E5ELDZV","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":"d8d3daab7390fabc455c2c90f1d923834064316a03489c8ca8e8d656cc685162","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-02-06T17:43:54Z","title_canon_sha256":"6b969056c65216e16e6847c9ce2b5a1c0e5a5e80dc241c803c453730ffc34cce"},"schema_version":"1.0","source":{"id":"1102.1178","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.1178","created_at":"2026-05-18T04:29:54Z"},{"alias_kind":"arxiv_version","alias_value":"1102.1178v1","created_at":"2026-05-18T04:29:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.1178","created_at":"2026-05-18T04:29:54Z"},{"alias_kind":"pith_short_12","alias_value":"SDC5QBXXVA6B","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"SDC5QBXXVA6BEAAB","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"SDC5QBXX","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:4761422a2475fe2d527ec036cb011d3013761424781a65a86b9dfca456b4499b","target":"graph","created_at":"2026-05-18T04:29:54Z","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":"We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design.\n  With focus on its differences with conventional WAM implementations, we explain key details of BinProlog's compilation technique, which replaces the WAM with a simplified continuation passing runtime system (the \"BinWAM\"), based on a mapping of full Prolog to binary logic pr","authors_text":"Paul Tarau","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-02-06T17:43:54Z","title":"The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.1178","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:d5cd7e1768d6e96b9fb80650bd3bf367c169e5d65d9ab5256d5becbf8c6dd723","target":"record","created_at":"2026-05-18T04:29:54Z","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":"d8d3daab7390fabc455c2c90f1d923834064316a03489c8ca8e8d656cc685162","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-02-06T17:43:54Z","title_canon_sha256":"6b969056c65216e16e6847c9ce2b5a1c0e5a5e80dc241c803c453730ffc34cce"},"schema_version":"1.0","source":{"id":"1102.1178","kind":"arxiv","version":1}},"canonical_sha256":"90c5d806f7a83c1200011f784e9163cd69b164aeec1fc53721c9989ce6949f20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90c5d806f7a83c1200011f784e9163cd69b164aeec1fc53721c9989ce6949f20","first_computed_at":"2026-05-18T04:29:54.833442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:29:54.833442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aBR0zod5/wOgwEedgY2XTApdaYiIqvNnMnwGRLleyKzfqDUdTudGwyZeEwgPF6/CioihqHx3ys91pMdNfY96Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:29:54.834034Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.1178","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d5cd7e1768d6e96b9fb80650bd3bf367c169e5d65d9ab5256d5becbf8c6dd723","sha256:4761422a2475fe2d527ec036cb011d3013761424781a65a86b9dfca456b4499b"],"state_sha256":"afdf8768205ab4bb76b4f93054c4baff1bb2a747449e4e856dd8e88a78b05a0e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pq92+JR3DEvuPPvn1XwH1zfTCeKQkn4erbpsbbBjXB5FE8lQBYpozu89aBIvd69NoeT2wN/RVykTYkC0DStvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T18:51:50.881046Z","bundle_sha256":"e85d2482cc80dc958ebb048079156ce5e10c603ad1c1684a978e4373c78c9f3f"}}