{"entities":{"Q1118390":{"pageid":1129139,"ns":120,"title":"Item:Q1118390","lastrevid":66767868,"modified":"2026-04-12T12:43:19Z","type":"item","id":"Q1118390","labels":{"en":{"language":"en","value":"A backtracking algorithm for the stream AND-parallel execution of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094786"}},"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":"Q1118390$32676ECF-61E6-44F9-97FE-0B38BF22A667","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1f43dca47015dc9b0a942d16e4f6bfbb586c3b1","datavalue":{"value":{"text":"A backtracking algorithm for the stream AND-parallel execution of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118390$BCD333FD-FC00-435C-B48D-F335FA137071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce82cc724dbf5f07b4441546856b3ab056123d70","datavalue":{"value":"0668.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$73CAF169-A16F-49FC-AFFC-8753DE0A47F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5973399935fc393ba442e1172e527eed97e0608","datavalue":{"value":"10.1007/BF02427851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$B5255980-077C-4C57-83F7-7848663FD619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca32257c65893c81f43625b485b9902c930bd909","datavalue":{"value":{"entity-type":"item","numeric-id":1118387,"id":"Q1118387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$CE4328C2-2118-49A8-A8DE-EDE18930C0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"345b8f84895002af5c58f47fce1c3d26a72a0903","datavalue":{"value":{"entity-type":"item","numeric-id":1118388,"id":"Q1118388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$9B4C5BA3-09BE-476C-A7DD-AF008BFB5376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84336040273d26f1d2941934b07d389b328b8ae9","datavalue":{"value":{"entity-type":"item","numeric-id":1118389,"id":"Q1118389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$ACBA58EE-9720-417A-8E91-CD542A7DB23B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$2B0851D0-F457-4011-9006-9819C9CCE3FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1118390$9D1B8F80-62B3-4D0F-90FA-012EFBD144BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4e67e9867841a81803069ec834d7af93fa77b8f","datavalue":{"value":"We present the first backtracking algorithm for stream AND-parallel logic programs. It relies on compile-time knowledge of the dataflow graph of each clause to let it figure out efficiently which goal to kill or restart when a goal fails. This crucial information, which we derive from mode declarations, was not available at compile-time in any previous stream AND-parallel system.    We show that modes can increase the precision of the backtracking algorithm, though our algorithm allows this precision to be traded off against overhead on a procedure-by-procedure and call-by-call basis. The modes also allow our algorithm to handle efficiently programs that manipulate partially instantiated data structures and an important class of programs with circular dependency graphys. On code that does not need backtracking, the efficiency of our algorithm approaches that of the committed-choice languages; on code that does need backtracking its overhead is comparable to that of the independent AND-parallel backtracking algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118390$27F60888-24AB-4DD7-801A-402BA43220D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$A3ABB357-380B-4D46-8568-FF96C44EEFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$D0A135A7-DFCC-4035-BB93-B484A1DA306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$6208FB1D-7D94-4254-94E9-7603D63EBA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$2D7CC2CC-FF09-4F8A-BF53-815F5D4C1070","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e74772d9655687f83c4039452339801d93040b","datavalue":{"value":"4094786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118390$59F65C89-6AC6-4F58-B466-A35B2DE33258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b3d8a746a90babb0ccf32bb12104c1beefe269","datavalue":{"value":"stream AND-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118390$94F62135-58FD-4926-BB68-875CDA8EE672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9347f89644a06733de3cab89927918ab3a707f16","datavalue":{"value":"don't-know nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118390$AF5B9675-06F3-40C6-AD6E-15C9C7773355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4d854b316533e6f838652b948e2efbde433b47","datavalue":{"value":"intelligent backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118390$9BABF521-9CEA-4FA5-917F-8628220B2EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e4616937767f1b1936667507e2d178356b12cf","datavalue":{"value":"strong and precise modes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118390$87E6D7B0-85A2-4C74-B1AD-9D58185B3575","rank":"normal"}],"P1463":[{"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":"Q1118390$F933BC16-A215-4F3E-A3C9-9EB460020AE3","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":"Q1118390$1C1144B3-50E6-47B3-8F2E-7ABB2C0E88A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8969d1ded4c03b36f52a3cda33f6a1241f3e9bf","datavalue":{"value":{"entity-type":"item","numeric-id":3727368,"id":"Q3727368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$69039FBC-B90A-4E0F-97B5-D325F7572C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be15762c4142150b15350618b943cbcd01c88823","datavalue":{"value":{"entity-type":"item","numeric-id":3735066,"id":"Q3735066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$5FD63F80-5A53-4D26-8818-78DE32EA15C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$493BBA48-1718-4B1C-82B7-2A16D04E2A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b31a6cf78f72ff8d35b9ff69fafb6f02db1203","datavalue":{"value":{"entity-type":"item","numeric-id":3732946,"id":"Q3732946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$50FE1AD1-79D4-4473-9034-7C2AE7CFC21D","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":"Q1118390$A456CF2E-D331-49B4-A20E-6CE204CF9F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b633bf91c9614041378ae739bec42ebd42c3140","datavalue":{"value":{"entity-type":"item","numeric-id":3883567,"id":"Q3883567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$10A14BD1-A9DE-4A5C-BDB3-4C607A395FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f94411b104ee2c6b064b9e97af1713486141ca2","datavalue":{"value":{"entity-type":"item","numeric-id":3789106,"id":"Q3789106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$B7595089-5B89-4260-8778-E9B55D2A1A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b322b21737439993ed802c9ad41f82daf1dd1ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1077925,"id":"Q1077925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$9806A4DD-5D3B-426D-B3BE-4CA10306B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdef283b200aa3269d09e08c4de781b834b117f6","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$440FEB48-9569-4BC6-899D-C0B9ADD977FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a37309f46876f93dac1aebbfa5b509f451505b6","datavalue":{"value":{"entity-type":"item","numeric-id":3694654,"id":"Q3694654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$32E50A2D-5197-43E2-A445-60649D1A3A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bec77d1b4c21d5e3d69dfbc49740fa0cdae4f25","datavalue":{"value":{"entity-type":"item","numeric-id":3880318,"id":"Q3880318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$BCF0B400-E340-48D7-96ED-A28DCEBC6F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71fb55266a656309f42012b5498b014c7d9b036","datavalue":{"value":{"entity-type":"item","numeric-id":3902544,"id":"Q3902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118390$5BC9D611-E95F-4153-9E78-159E2F8479F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b66e07d88a34e8b0a5348efd4dca7095b1eb1","datavalue":{"value":{"entity-type":"item","numeric-id":3735066,"id":"Q3735066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48157d3c7b5090255232f5f835698242888031c","datavalue":{"value":{"amount":"+0.8967818021774292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118390$E313B13D-C329-4CE7-AB43-B62FFA86BDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68303a8ae87ffc5b92c1f9b7bfed74429314654","datavalue":{"value":{"entity-type":"item","numeric-id":3489437,"id":"Q3489437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d339595a1ac8b39c3a7ecdae5823bd476d0e9e7","datavalue":{"value":{"amount":"+0.8205203413963318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118390$366871E5-B835-4319-9FF2-4920915960CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13393c5d641d8b5b146dae9f3038acf70b846bac","datavalue":{"value":{"entity-type":"item","numeric-id":1098621,"id":"Q1098621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7259499fa2e2b2d75d2f087e3f6df82700620f","datavalue":{"value":{"amount":"+0.7953369617462158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118390$829F0E10-214F-4601-AD34-D4201F6EBC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460291a82b13d91aa6b459983ef4a90fd2bee4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3732946,"id":"Q3732946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1ac56cea623f73c6292214e691daf3fc6b47e5","datavalue":{"value":{"amount":"+0.7941839694976807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118390$3D74E03A-EFE3-4051-A005-569A59133EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b25fe982f49399412cb8f68b9f97931419593a","datavalue":{"value":{"entity-type":"item","numeric-id":4734752,"id":"Q4734752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d89c29ad00b38bb848f61ec583273d74e04f8b","datavalue":{"value":{"amount":"+0.7936631441116333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1118390$83FFFF33-5FDA-4C21-B029-B5708545E000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A backtracking algorithm for the stream AND-parallel execution of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_backtracking_algorithm_for_the_stream_AND-parallel_execution_of_logic_programs"}}}}}