{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:WWAKGQTIS3EFHFYPDCIWGHWUUT","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":"72f028e40cf4ba27241904320525d9a996f0249402e66ebc06a3862f82b08380","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:38Z","title_canon_sha256":"5abf718b699e3ac494ac2c71513307be59f81e7c30c4050a82e67aeed9ef5892"},"schema_version":"1.0","source":{"id":"1308.3941","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3941","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3941v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3941","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"WWAKGQTIS3EF","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"WWAKGQTIS3EFHFYP","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"WWAKGQTI","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:7a1b38873a0a64bd69b4c35c466dace19383ebbf76886f967d7571ea40c80665","target":"graph","created_at":"2026-05-18T03:15:35Z","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":"Prolog's support for dynamic programming, meta programming and text processing using context free grammars make the language highly suitable for defining domain specific languages (DSL) as well as analysing, refactoring or generating expression states in other (programming) languages. Well known DSLs are the DCG (Definite Clause Grammar) notation and constraint languages such as CHR. These extensions use Prolog operator declarations and the {...} notation to realise a good syntax. When external languages, such as HTML, SQL or JavaScript enter the picture, operators no longer satisfy for embedd","authors_text":"Jan Wielemaker, Michael Hendricks","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:38Z","title":"Why It's Nice to be Quoted: Quasiquoting for Prolog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3941","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:0e4e15313e30105048062a29a1871a5a076dba07499fd367e5af65bdb9815e2e","target":"record","created_at":"2026-05-18T03:15:35Z","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":"72f028e40cf4ba27241904320525d9a996f0249402e66ebc06a3862f82b08380","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:38Z","title_canon_sha256":"5abf718b699e3ac494ac2c71513307be59f81e7c30c4050a82e67aeed9ef5892"},"schema_version":"1.0","source":{"id":"1308.3941","kind":"arxiv","version":1}},"canonical_sha256":"b580a3426896c853970f1891631ed4a4cc95917afa524314c3312bd874d69812","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b580a3426896c853970f1891631ed4a4cc95917afa524314c3312bd874d69812","first_computed_at":"2026-05-18T03:15:35.236563Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:15:35.236563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1QL18F6KCYyrL2Sj7balk2Z0Z3FBNvY46XSzv3jrb1TKTbEX6VEdNMEGbMy2nX7ZYDNyAAdqoZ6FE7Tg3qLqAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:15:35.237218Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.3941","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e4e15313e30105048062a29a1871a5a076dba07499fd367e5af65bdb9815e2e","sha256:7a1b38873a0a64bd69b4c35c466dace19383ebbf76886f967d7571ea40c80665"],"state_sha256":"c8f3141b0e87aa6e42604e224c0e5d796bd3d3346195b08d42025af921bae16c"}