{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2006:QAUH3OUIYPKJKKWJJ67CZFIOTR","short_pith_number":"pith:QAUH3OUI","schema_version":"1.0","canonical_sha256":"80287dba88c3d4952ac94fbe2c950e9c5049487d96e63166898a23e63742ef58","source":{"kind":"arxiv","id":"cs/0603100","version":1},"attestation_state":"computed","paper":{"title":"Efficient Compression of Prolog Programs","license":"","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alin Suciu, Kalman Pusztai","submitted_at":"2006-03-26T20:27:40Z","abstract_excerpt":"We propose a special-purpose class of compression algorithms for efficient compression of Prolog programs. It is a dictionary-based compression method, specially designed for the compression of Prolog code, and therefore we name it PCA (Prolog Compression Algorithm). According to the experimental results this method provides better compression than state-of-the-art general-purpose compression algorithms. Since the algorithm works with Prolog syntactic entities (e.g. atoms, terms, etc.) the implementation of a Prolog prototype is straightforward and very easy to use in any Prolog application th"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"cs/0603100","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2006-03-26T20:27:40Z","cross_cats_sorted":[],"title_canon_sha256":"6de705a5038e3739ef92a797443f19c4b6c046e20ae21371f3d80ed80ae0526f","abstract_canon_sha256":"e1fedb26c0159c6399ae572fc34eaea83bb46bdb785c01285169bb657d67183f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:53:53.335770Z","signature_b64":"eXckSO1ZCwz9GWsWAsqSCELsRnqhC1BnV20KF31KGujbdITdUfJkNcf0SrxzJ5G8CY83TeyPQ/LTurskOA1ADQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80287dba88c3d4952ac94fbe2c950e9c5049487d96e63166898a23e63742ef58","last_reissued_at":"2026-07-04T14:53:53.335278Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:53:53.335278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Efficient Compression of Prolog Programs","license":"","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alin Suciu, Kalman Pusztai","submitted_at":"2006-03-26T20:27:40Z","abstract_excerpt":"We propose a special-purpose class of compression algorithms for efficient compression of Prolog programs. It is a dictionary-based compression method, specially designed for the compression of Prolog code, and therefore we name it PCA (Prolog Compression Algorithm). According to the experimental results this method provides better compression than state-of-the-art general-purpose compression algorithms. Since the algorithm works with Prolog syntactic entities (e.g. atoms, terms, etc.) the implementation of a Prolog prototype is straightforward and very easy to use in any Prolog application th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0603100","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0603100/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"cs/0603100","created_at":"2026-07-04T14:53:53.335356+00:00"},{"alias_kind":"arxiv_version","alias_value":"cs/0603100v1","created_at":"2026-07-04T14:53:53.335356+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0603100","created_at":"2026-07-04T14:53:53.335356+00:00"},{"alias_kind":"pith_short_12","alias_value":"QAUH3OUIYPKJ","created_at":"2026-07-04T14:53:53.335356+00:00"},{"alias_kind":"pith_short_16","alias_value":"QAUH3OUIYPKJKKWJ","created_at":"2026-07-04T14:53:53.335356+00:00"},{"alias_kind":"pith_short_8","alias_value":"QAUH3OUI","created_at":"2026-07-04T14:53:53.335356+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR","json":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR.json","graph_json":"https://pith.science/api/pith-number/QAUH3OUIYPKJKKWJJ67CZFIOTR/graph.json","events_json":"https://pith.science/api/pith-number/QAUH3OUIYPKJKKWJJ67CZFIOTR/events.json","paper":"https://pith.science/paper/QAUH3OUI"},"agent_actions":{"view_html":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR","download_json":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR.json","view_paper":"https://pith.science/paper/QAUH3OUI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=cs/0603100&json=true","fetch_graph":"https://pith.science/api/pith-number/QAUH3OUIYPKJKKWJJ67CZFIOTR/graph.json","fetch_events":"https://pith.science/api/pith-number/QAUH3OUIYPKJKKWJJ67CZFIOTR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR/action/storage_attestation","attest_author":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR/action/author_attestation","sign_citation":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR/action/citation_signature","submit_replication":"https://pith.science/pith/QAUH3OUIYPKJKKWJJ67CZFIOTR/action/replication_record"}},"created_at":"2026-07-04T14:53:53.335356+00:00","updated_at":"2026-07-04T14:53:53.335356+00:00"}