{"entities":{"Q1819929":{"pageid":1830671,"ns":120,"title":"Item:Q1819929","lastrevid":69402297,"modified":"2026-04-13T06:45:50Z","type":"item","id":"Q1819929","labels":{"en":{"language":"en","value":"P-Prolog: A parallel logic language based on exclusive relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995039"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$4C73283A-EDBA-48BC-9B20-2707BF599E3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f0f7dec770a12826433021a41e1560a440e9286","datavalue":{"value":{"text":"P-Prolog: A parallel logic language based on exclusive relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819929$1E5806F8-FA36-4C8A-A24C-8A9F8996F519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a50797647cf18a114d59ab259544914e903fe26","datavalue":{"value":"0614.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819929$CC73F3A9-EA36-4D19-8B20-5921CE2F6C06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d309319d33e9a59b9c3ce385c9b11601c48bf8d4","datavalue":{"value":"10.1007/BF03037459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819929$271B0AC5-1E81-44D5-95F5-FF52E2185666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97df2e3719508c58ae50ebed5edf7ea5085906","datavalue":{"value":{"entity-type":"item","numeric-id":360137,"id":"Q360137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$2AD755A9-579A-4774-BFF3-26113F09E28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6954d7ce4989e9acc57cf9acc5cc384b7cc8fa6f","datavalue":{"value":{"entity-type":"item","numeric-id":1193737,"id":"Q1193737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$661132E2-91CF-4B41-9CB9-0E07E7BA5AD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$5EB91C6A-5B74-4284-809D-03F65F94A861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819929$8C490256-944B-4FC0-946B-5E533BCE6AEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"155c6b45902ec78cf244742031fe6ee2a8b16831","datavalue":{"value":"This paper presents a parallel logic programming language named P-Prolog which is being developed as a logic programming language featuring both and- and or-parallelism. Compared with the other parallel logic programming languages, syntactic constructs such as read-only annotation, mode declaration and communication constraints are not used in P-Prolog. A new concept introduced in P-Prolog is the exclusive relation of guarded Horn clauses. Advances included in P-Prolog are: (1) The synchronization mechanism can determine the direction of data flow dynamically. (2) Guarded Horn clauses can be interpreted as either don't care non- determinism or don't know non-determinism.    A prototype interpreter of P-Prolog has been implemented in C-Prolog. We are now implementing a P-Prolog interpreter in the C language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$B53A9237-C99D-48BB-898F-248EEF5EEAC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819929$AF599F10-22DE-4CFA-B381-FEF71CEAC258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819929$FE90E87F-0025-4493-AC1D-4974B94F342E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8766a5cd274d821d702f8d57904cafea24b57ce2","datavalue":{"value":"3995039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819929$C9236F93-FC39-40AA-94E5-422EB05327A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2cb9373396dbad9b017996c689b1d26b1a4274","datavalue":{"value":"and-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$4D79E92B-AA5E-4BAF-9EEE-0B415B330C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165cad925c0085e42143badd538641571a3dcb29","datavalue":{"value":"or-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$9CFD1386-BD09-457C-895D-7844BA684F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c3167cf032964a07a61636904ec6ae26c82adb","datavalue":{"value":"parallel logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$F0ECBAF8-8AE4-44DC-91A1-753761455BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8959bc91e3dcfbea07223f15500be3191ac04e0c","datavalue":{"value":"P- Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$02E39E24-F8E7-41C7-BF1B-A6BA4ACD36CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b31a8d1ef9bac7677436be5ee66e96d39ce0c263","datavalue":{"value":"read-only annotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$926E98F6-6454-4144-88BA-140C5DC646CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423b8ca270336faa7e7740ef780b0d1fa94f0875","datavalue":{"value":"mode declaration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$A0B6BF9E-A95D-4A1D-9572-27F9153A7782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02bbab429976acb6f8df343c07492ea970d5013d","datavalue":{"value":"communication constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$68055942-02AC-46A8-BBD9-E74239E477AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be513c9707e69aba7f1f15c1c465552015d0bb2","datavalue":{"value":"guarded Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$5F588EBC-EAA7-479F-896B-E6BF617C6D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$717BC6C3-030D-4AC8-97D7-CA05EB385AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0e5112548ede4fc4a40755b31ab682f32071f8","datavalue":{"value":"data flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$AB1C0AA4-8E77-40BF-83AF-6128D4319B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632e64163be60275410694ffd6918622508b7c5d","datavalue":{"value":"non- determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819929$10B300FB-5B43-49BB-8660-F7276A0C3A80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$D4F86A38-FBE8-40DD-8AAC-813DFC7A732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$1DCC1F25-415E-4E10-80CA-C134EFEBCD8D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$DFF37E59-5740-4EB1-BAF7-E8124246F205","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$6EF2AD93-0CBF-439B-BFDA-6CE9B479A917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$1A27DFF5-DB1C-4E66-B47A-18DAC8A5664D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$A00AFCF8-B658-4E4D-80F1-71EC5D5C3505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292125d4bb61c4f70427dd0476cc2e72e9bb11e","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819929$ACB23E73-DAF4-45B9-9A28-0E10B276F25B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a52b18f7421e70f506b65a76f84876d614b8449a","datavalue":{"value":"https://doi.org/10.1007/bf03037459","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819929$646701D6-8391-4A1E-8E59-E1F2B86748A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d24264252e8527b8e1eb2a4a7655b0252b3417b5","datavalue":{"value":"W1999702466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819929$2A6641D3-E7FE-4658-B5E5-9C192A7FE694","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9855398fe9eb5df92e57218b6d84fc6fa3af7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3727353,"id":"Q3727353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$DA57033B-355E-4995-9ACD-DB48F756E5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766de4bbe63c9300fd7e4efa267a5b83ba48fce8","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e791262873599a43ad3372e26a373c42ccae1f","datavalue":{"value":{"amount":"+0.8883642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$FF92E789-9FD4-44A3-A41D-3620CB98E6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6369ebf1e74b24da316c783e821502f58b45543e","datavalue":{"value":{"entity-type":"item","numeric-id":6063892,"id":"Q6063892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b104f6430baa5b02cf2e67e1ab5e15974384f18","datavalue":{"value":{"amount":"+0.8819585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$22D742E1-0504-43A6-B0FB-90486DCAE2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36bdc91275916e3b98ca4580539768d033142fd","datavalue":{"value":{"entity-type":"item","numeric-id":5688921,"id":"Q5688921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84ed5ec531c46c4bc18bcc9a53a77fc9095ba84","datavalue":{"value":{"amount":"+0.876073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$AFADBF77-C2E7-4E4E-9F4C-E69091A2D827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db0eb875cbdb7fe55331a557fd6aeff84170cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1819924,"id":"Q1819924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be6eecd996b3fbffc69892c0aa214fc052b8c16","datavalue":{"value":{"amount":"+0.8729457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$86320D51-898E-41E4-A397-F080FA3F0780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a60b500cb05232f9752ab15f6be60bd153eb575","datavalue":{"value":{"entity-type":"item","numeric-id":1188587,"id":"Q1188587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5451276265371b439ee933822863e7e1dab19b9f","datavalue":{"value":{"amount":"+0.86978567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$756E6B7F-2524-4FF2-A197-500E49620B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675fa386631d084d1c9669e02660a5ad3d1e1806","datavalue":{"value":{"amount":"+0.8677604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819929$822710AD-6E38-440A-9C7B-41B28608A80C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"P-Prolog: A parallel logic language based on exclusive relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/P-Prolog:_A_parallel_logic_language_based_on_exclusive_relation"}}}}}