{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:SAQ7OB5PUKUV7XWJZR3WZUGFOX","short_pith_number":"pith:SAQ7OB5P","canonical_record":{"source":{"id":"0911.2899","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-11-15T18:21:41Z","cross_cats_sorted":[],"title_canon_sha256":"542879ab07fa4074aebd8eabd517994b2dd4030a1837ddb5e3a4ab1fd35f64ba","abstract_canon_sha256":"4e16cce3fe5fd50b7a1f090fbcc3ce448ffea171dcbf8810fc9b5595ba153132"},"schema_version":"1.0"},"canonical_sha256":"9021f707afa2a95fdec9cc776cd0c575fcf20ddc2d0987aba9acb369f1d848db","source":{"kind":"arxiv","id":"0911.2899","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.2899","created_at":"2026-05-18T04:22:01Z"},{"alias_kind":"arxiv_version","alias_value":"0911.2899v3","created_at":"2026-05-18T04:22:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.2899","created_at":"2026-05-18T04:22:01Z"},{"alias_kind":"pith_short_12","alias_value":"SAQ7OB5PUKUV","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"SAQ7OB5PUKUV7XWJ","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"SAQ7OB5P","created_at":"2026-05-18T12:26:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:SAQ7OB5PUKUV7XWJZR3WZUGFOX","target":"record","payload":{"canonical_record":{"source":{"id":"0911.2899","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-11-15T18:21:41Z","cross_cats_sorted":[],"title_canon_sha256":"542879ab07fa4074aebd8eabd517994b2dd4030a1837ddb5e3a4ab1fd35f64ba","abstract_canon_sha256":"4e16cce3fe5fd50b7a1f090fbcc3ce448ffea171dcbf8810fc9b5595ba153132"},"schema_version":"1.0"},"canonical_sha256":"9021f707afa2a95fdec9cc776cd0c575fcf20ddc2d0987aba9acb369f1d848db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:22:01.121960Z","signature_b64":"mxan4VHilzmbX038X0XER2AHpmLhg5wQOeVjND3XgqsO/VOZKz/l+WR3ya65V3nPLRN490Gdva4QMpUSkiAeBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9021f707afa2a95fdec9cc776cd0c575fcf20ddc2d0987aba9acb369f1d848db","last_reissued_at":"2026-05-18T04:22:01.121554Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:22:01.121554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0911.2899","source_version":3,"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:22:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c6Evumq3RRIbrpEuRnYXl0Oz7+FV50q5tTIpHuWgZk+52FL3BXJ7j/C5QWwvLwbUJoMixC8kutEDstYkTt6ODQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T06:48:53.810209Z"},"content_sha256":"2a9dc4d8803f09954bc9a660af1be449e02355c36c9ef986c355954a52ba2d7d","schema_version":"1.0","event_id":"sha256:2a9dc4d8803f09954bc9a660af1be449e02355c36c9ef986c355954a52ba2d7d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:SAQ7OB5PUKUV7XWJZR3WZUGFOX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coding Guidelines for Prolog","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Athens, BUGSENG srl, Dunedin, Georgia, Italy), Jan Wielemaker (Department of Computer Science, Michael A. Covington (Institute for Artificial Intelligence, New Zealand), Richard A. O'Keefe (Department of Computer Science, Roberto Bagnara (Department of Mathematics, Simon Price (Intelligent Systems Laboratory, the Netherlands), The University of Georgia, United Kingdom), University of Bristol, University of Otago, University of Parma, U.S.A.), VU University Amsterdam","submitted_at":"2009-11-15T18:21:41Z","abstract_excerpt":"Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other languages. Despite this, no widely accepted standards and practices seem to have emerged up to now. The present paper is a first step towards filling this void: it provides immediate guidelines for code layout, naming conventions, documentation, proper use of Prolog features, program development, debugging and testing. Presented with each guideline is its ratio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.2899","kind":"arxiv","version":3},"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:22:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YAC89pCo3kQD3fBG8C3lSpECm4Z3GvK2RA8hnDeYc7qNQI1iKDeOet4aSlkijiGJnpNTNX0224W2RCFzyljTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T06:48:53.810842Z"},"content_sha256":"c7df6764ff02f98409dfaa140aad940c2c639cb4a6f590f6a06babd0fce3a958","schema_version":"1.0","event_id":"sha256:c7df6764ff02f98409dfaa140aad940c2c639cb4a6f590f6a06babd0fce3a958"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX/bundle.json","state_url":"https://pith.science/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX/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-28T06:48:53Z","links":{"resolver":"https://pith.science/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX","bundle":"https://pith.science/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX/bundle.json","state":"https://pith.science/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SAQ7OB5PUKUV7XWJZR3WZUGFOX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:SAQ7OB5PUKUV7XWJZR3WZUGFOX","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":"4e16cce3fe5fd50b7a1f090fbcc3ce448ffea171dcbf8810fc9b5595ba153132","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-11-15T18:21:41Z","title_canon_sha256":"542879ab07fa4074aebd8eabd517994b2dd4030a1837ddb5e3a4ab1fd35f64ba"},"schema_version":"1.0","source":{"id":"0911.2899","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.2899","created_at":"2026-05-18T04:22:01Z"},{"alias_kind":"arxiv_version","alias_value":"0911.2899v3","created_at":"2026-05-18T04:22:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.2899","created_at":"2026-05-18T04:22:01Z"},{"alias_kind":"pith_short_12","alias_value":"SAQ7OB5PUKUV","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"SAQ7OB5PUKUV7XWJ","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"SAQ7OB5P","created_at":"2026-05-18T12:26:01Z"}],"graph_snapshots":[{"event_id":"sha256:c7df6764ff02f98409dfaa140aad940c2c639cb4a6f590f6a06babd0fce3a958","target":"graph","created_at":"2026-05-18T04:22:01Z","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":"Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other languages. Despite this, no widely accepted standards and practices seem to have emerged up to now. The present paper is a first step towards filling this void: it provides immediate guidelines for code layout, naming conventions, documentation, proper use of Prolog features, program development, debugging and testing. Presented with each guideline is its ratio","authors_text":"Athens, BUGSENG srl, Dunedin, Georgia, Italy), Jan Wielemaker (Department of Computer Science, Michael A. Covington (Institute for Artificial Intelligence, New Zealand), Richard A. O'Keefe (Department of Computer Science, Roberto Bagnara (Department of Mathematics, Simon Price (Intelligent Systems Laboratory, the Netherlands), The University of Georgia, United Kingdom), University of Bristol, University of Otago, University of Parma, U.S.A.), VU University Amsterdam","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-11-15T18:21:41Z","title":"Coding Guidelines for Prolog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.2899","kind":"arxiv","version":3},"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:2a9dc4d8803f09954bc9a660af1be449e02355c36c9ef986c355954a52ba2d7d","target":"record","created_at":"2026-05-18T04:22:01Z","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":"4e16cce3fe5fd50b7a1f090fbcc3ce448ffea171dcbf8810fc9b5595ba153132","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-11-15T18:21:41Z","title_canon_sha256":"542879ab07fa4074aebd8eabd517994b2dd4030a1837ddb5e3a4ab1fd35f64ba"},"schema_version":"1.0","source":{"id":"0911.2899","kind":"arxiv","version":3}},"canonical_sha256":"9021f707afa2a95fdec9cc776cd0c575fcf20ddc2d0987aba9acb369f1d848db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9021f707afa2a95fdec9cc776cd0c575fcf20ddc2d0987aba9acb369f1d848db","first_computed_at":"2026-05-18T04:22:01.121554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:22:01.121554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mxan4VHilzmbX038X0XER2AHpmLhg5wQOeVjND3XgqsO/VOZKz/l+WR3ya65V3nPLRN490Gdva4QMpUSkiAeBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:22:01.121960Z","signed_message":"canonical_sha256_bytes"},"source_id":"0911.2899","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a9dc4d8803f09954bc9a660af1be449e02355c36c9ef986c355954a52ba2d7d","sha256:c7df6764ff02f98409dfaa140aad940c2c639cb4a6f590f6a06babd0fce3a958"],"state_sha256":"9dad537ebdd89ab4b8974acc2173c6bfc80d5aea85cf180ff35489e96a6b7907"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HODkeBLCUkAm+vd7Nf0cIS+xCqlHsMRxTVC8j31dTcJdyRP9z5X0YGUK6O5hwNWp6k4nRfuvBnycpPfUr42wAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T06:48:53.813704Z","bundle_sha256":"77af1076550db779a25e3c41b0404ceb9559b3a8a0f96b59beee4f17a14bb082"}}