{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:YFYG65STURCC4PXHOU2RUR4ADA","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":"c0b795eb88df47df01414ee87417a52bf7ea0a59c97535cda95a3ef1e17ae848","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.NI","submitted_at":"2006-03-26T20:44:39Z","title_canon_sha256":"8c15752fd7dea5fa2e5759347b30ed26d5a2899d670b05f4ce40fe551bc9d042"},"schema_version":"1.0","source":{"id":"cs/0603102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0603102","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0603102v1","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0603102","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_12","alias_value":"YFYG65STURCC","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_16","alias_value":"YFYG65STURCC4PXH","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_8","alias_value":"YFYG65ST","created_at":"2026-07-04T14:53:53Z"}],"graph_snapshots":[{"event_id":"sha256:532b1e0a1e82edf1f430f899dd52b36e9ad914b335118e583b4fd30fc0303579","target":"graph","created_at":"2026-07-04T14:53:53Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0603102/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC). The Prolog RPC protocol facilitates the integration of Prolog code in multi-language applications as well as the development of distributed intelligent applications. One use of the protocol's most important uses could be the development of distributed applications that use Prolog at least partially to achieve their goals. Most notably the Distributed Artificial Intelligence (DAI) applications that are suitable for logic programmi","authors_text":"Alin Suciu, Andrei Diaconu, Kalman Pusztai","cross_cats":["cs.PL"],"headline":"","license":"","primary_cat":"cs.NI","submitted_at":"2006-03-26T20:44:39Z","title":"Enhanced Prolog Remote Predicate Call Protocol"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0603102","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:42a96ffb159b90cca954d51c8f9e51f944a597261b213a9861f03ab788ddec47","target":"record","created_at":"2026-07-04T14:53:53Z","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":"c0b795eb88df47df01414ee87417a52bf7ea0a59c97535cda95a3ef1e17ae848","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.NI","submitted_at":"2006-03-26T20:44:39Z","title_canon_sha256":"8c15752fd7dea5fa2e5759347b30ed26d5a2899d670b05f4ce40fe551bc9d042"},"schema_version":"1.0","source":{"id":"cs/0603102","kind":"arxiv","version":1}},"canonical_sha256":"c1706f7653a4442e3ee775351a4780182061afef428211a47e093d4c5b016284","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1706f7653a4442e3ee775351a4780182061afef428211a47e093d4c5b016284","first_computed_at":"2026-07-04T14:53:53.380569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:53:53.380569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ANPdcbm/tABxfupOkMWMhF1sxk4mObPCP39AlejQ427khl7hBsTs5bYPiy7CxSYZxg/RW2oIz7lEekPrXOm8Cg==","signature_status":"signed_v1","signed_at":"2026-07-04T14:53:53.380953Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0603102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42a96ffb159b90cca954d51c8f9e51f944a597261b213a9861f03ab788ddec47","sha256:532b1e0a1e82edf1f430f899dd52b36e9ad914b335118e583b4fd30fc0303579"],"state_sha256":"3ce51c084c53f216916f8ed764b6362c7e4681c9e1569c37b1c488157b133151"}