{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:6OZXCBQC7EYULGMGW44OVAOZ2K","short_pith_number":"pith:6OZXCBQC","canonical_record":{"source":{"id":"cs/0505085","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2005-05-31T08:23:32Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"64be1178e485fc4df96bc4412213d90825d912159ac90602d8823422e4677bd4","abstract_canon_sha256":"89135f84abc749846b2aea05a43b9c9b72a53fdb2042e0aeb7fa7b1a7bd36e3e"},"schema_version":"1.0"},"canonical_sha256":"f3b3710602f931459986b738ea81d9d2a041edceaa0cd695b62734200f62d512","source":{"kind":"arxiv","id":"cs/0505085","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0505085","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0505085v1","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0505085","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"6OZXCBQC7EYU","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"6OZXCBQC7EYULGMG","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"6OZXCBQC","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:6OZXCBQC7EYULGMGW44OVAOZ2K","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0505085","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2005-05-31T08:23:32Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"64be1178e485fc4df96bc4412213d90825d912159ac90602d8823422e4677bd4","abstract_canon_sha256":"89135f84abc749846b2aea05a43b9c9b72a53fdb2042e0aeb7fa7b1a7bd36e3e"},"schema_version":"1.0"},"canonical_sha256":"f3b3710602f931459986b738ea81d9d2a041edceaa0cd695b62734200f62d512","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:49.092874Z","signature_b64":"7dxov1gfSQD1ivtLPvLujtT5YS/zcY220kOLan8GGT93mQzckGWHhMTTcs7VEQPWC20PVe/lG06I9qd1yd4rBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f3b3710602f931459986b738ea81d9d2a041edceaa0cd695b62734200f62d512","last_reissued_at":"2026-05-18T01:06:49.092295Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:49.092295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0505085","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-18T01:06:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"54HEWHrRd7qVbaLFZMioUYky2/KyZRx81HmrvIQJI55XTQ9EAF8FK00it+gED13sdGeGG+FjV/mrQ2hqXMKeBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T12:41:33.319134Z"},"content_sha256":"45f17f8cc519e8ab4f436e5e9c4fc8361486b0d74eeb00b05c656077636e10b5","schema_version":"1.0","event_id":"sha256:45f17f8cc519e8ab4f436e5e9c4fc8361486b0d74eeb00b05c656077636e10b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:6OZXCBQC7EYULGMGW44OVAOZ2K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving PARMA Trailing","license":"","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.PL","authors_text":"Bart Demoen, Maria Garcia de la Banda, Peter J. Stuckey, Tom Schrijvers","submitted_at":"2005-05-31T08:23:32Z","abstract_excerpt":"Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM representation. Both the HAL and dProlog languages make use of the PARMA representation in their Herbrand constraint solvers. Unfortunately, PARMA's trailing scheme is considerably more expensive in both time and space consumption. The aim of this paper is to present several techniques that lower the cost.\n  First, we introduce a trailing analysis for HAL using the classic PARMA trailing scheme that detects and elim"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0505085","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-18T01:06:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BouFxZcTCJhJ4v4wHulprZf0EK0hO1m/GLKvqUfjGRUvXBtwSNUeKVBhm+90q2Xk63ULmLOZ3XWu5m0gY4+5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T12:41:33.319735Z"},"content_sha256":"ab79980bcec52a617f8e34c5582000256a2e2a2f56232f4b339fd62ac8bb31de","schema_version":"1.0","event_id":"sha256:ab79980bcec52a617f8e34c5582000256a2e2a2f56232f4b339fd62ac8bb31de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6OZXCBQC7EYULGMGW44OVAOZ2K/bundle.json","state_url":"https://pith.science/pith/6OZXCBQC7EYULGMGW44OVAOZ2K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6OZXCBQC7EYULGMGW44OVAOZ2K/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-05-26T12:41:33Z","links":{"resolver":"https://pith.science/pith/6OZXCBQC7EYULGMGW44OVAOZ2K","bundle":"https://pith.science/pith/6OZXCBQC7EYULGMGW44OVAOZ2K/bundle.json","state":"https://pith.science/pith/6OZXCBQC7EYULGMGW44OVAOZ2K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6OZXCBQC7EYULGMGW44OVAOZ2K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:6OZXCBQC7EYULGMGW44OVAOZ2K","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":"89135f84abc749846b2aea05a43b9c9b72a53fdb2042e0aeb7fa7b1a7bd36e3e","cross_cats_sorted":["cs.PF"],"license":"","primary_cat":"cs.PL","submitted_at":"2005-05-31T08:23:32Z","title_canon_sha256":"64be1178e485fc4df96bc4412213d90825d912159ac90602d8823422e4677bd4"},"schema_version":"1.0","source":{"id":"cs/0505085","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0505085","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0505085v1","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0505085","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"6OZXCBQC7EYU","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"6OZXCBQC7EYULGMG","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"6OZXCBQC","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:ab79980bcec52a617f8e34c5582000256a2e2a2f56232f4b339fd62ac8bb31de","target":"graph","created_at":"2026-05-18T01:06:49Z","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":"Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM representation. Both the HAL and dProlog languages make use of the PARMA representation in their Herbrand constraint solvers. Unfortunately, PARMA's trailing scheme is considerably more expensive in both time and space consumption. The aim of this paper is to present several techniques that lower the cost.\n  First, we introduce a trailing analysis for HAL using the classic PARMA trailing scheme that detects and elim","authors_text":"Bart Demoen, Maria Garcia de la Banda, Peter J. Stuckey, Tom Schrijvers","cross_cats":["cs.PF"],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2005-05-31T08:23:32Z","title":"Improving PARMA Trailing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0505085","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:45f17f8cc519e8ab4f436e5e9c4fc8361486b0d74eeb00b05c656077636e10b5","target":"record","created_at":"2026-05-18T01:06:49Z","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":"89135f84abc749846b2aea05a43b9c9b72a53fdb2042e0aeb7fa7b1a7bd36e3e","cross_cats_sorted":["cs.PF"],"license":"","primary_cat":"cs.PL","submitted_at":"2005-05-31T08:23:32Z","title_canon_sha256":"64be1178e485fc4df96bc4412213d90825d912159ac90602d8823422e4677bd4"},"schema_version":"1.0","source":{"id":"cs/0505085","kind":"arxiv","version":1}},"canonical_sha256":"f3b3710602f931459986b738ea81d9d2a041edceaa0cd695b62734200f62d512","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f3b3710602f931459986b738ea81d9d2a041edceaa0cd695b62734200f62d512","first_computed_at":"2026-05-18T01:06:49.092295Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:49.092295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7dxov1gfSQD1ivtLPvLujtT5YS/zcY220kOLan8GGT93mQzckGWHhMTTcs7VEQPWC20PVe/lG06I9qd1yd4rBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:49.092874Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0505085","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45f17f8cc519e8ab4f436e5e9c4fc8361486b0d74eeb00b05c656077636e10b5","sha256:ab79980bcec52a617f8e34c5582000256a2e2a2f56232f4b339fd62ac8bb31de"],"state_sha256":"e84722d44fcddcdebcd6b2fdc31c0b9d348599b2396c5585159fc465ac762e6c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5ZS05NvdFxFqdWTKmpvrx74I3aCqOnYwrsAN3852z2KwUeHpVxQtabYm+wv1DEuzq0LNSAOn5tODaXNbx8JVDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T12:41:33.322984Z","bundle_sha256":"c6f8351be79b4e16b21bf5ce7f843e9ef4ba903c4cd39ac9d277b2e89441403f"}}