{"entities":{"Q1109585":{"pageid":1120334,"ns":120,"title":"Item:Q1109585","lastrevid":49210240,"modified":"2026-01-06T18:48:49Z","type":"item","id":"Q1109585","labels":{"en":{"language":"en","value":"Composing recursive logic programs with clausal join"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070383"}},"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":"Q1109585$202E1B5B-06C9-4325-80B7-F1741C9B2EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96269045d03ca7ab2bd490860e3549251c0235e5","datavalue":{"value":{"text":"Composing recursive logic programs with clausal join","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109585$486C633A-0378-4B69-BA06-B110CCCBD058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"135e8c9210dd7b214ee7f71c5ba418302f2bf2db","datavalue":{"value":"0655.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109585$FD146A1F-FE0E-42B3-8A8D-96B4B5857C14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf45ed3d63da30d72cd1d022749c6b77defa963d","datavalue":{"value":"10.1007/BF03037138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109585$E130B0E1-0B1F-4953-BC38-59A4EC3B52C1","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":"Q1109585$4A947B0E-BB58-44FE-9F8C-05C804B14CB6","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":"Q1109585$10A6F310-6E68-4B33-A7F7-C07377D9564E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"702ef890f68b2363a21ac38404671d274ba55bc1","datavalue":{"value":"A family of methods for composing logic programs from simpler components is presented. Specifically, simple pairs of programs operating on lists, trees and other recursive structures are composed to generate a single program with composite functionality. The methods are based on clausal join, a specific sequence of unfold/fold transformations for deriving a new clause from a given pair of clauses and a joint specification. Procedural join composes a new procedure from two given procedures by applying clausal join to all pairs of their clauses. 1-1 join composes a new procedure from closely related procedures by applying causal join to corresponding pairs only. Meta join is a modification of 1-1 joint for composing meta-interpreters. The transformations are straightforward to implement in Prolog, as is demonstrated in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$5CF59514-2BBE-455E-8837-116CC0B20641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109585$4FDC5F20-5195-4F07-A2DE-CCC5EFBD7121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109585$928DE95B-A4BE-43AD-BA92-5AE1493FC586","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f22533f4ce970a3646d40be0d53ae4c2062a859","datavalue":{"value":"4070383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109585$1B96F880-D7A4-47FB-91A3-C4A80F6FEA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$223FA2EB-3922-4ECE-A288-7EBC15D75DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$606E506B-0FC1-4ACB-B9E0-1EA3B2E6E50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3223f3c8a9d9dac9f9d196f1fa9d424beec96296","datavalue":{"value":"program composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$F89CB3B0-5565-486C-815E-4823A38F3CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$1272335B-5244-4E18-9ED7-785BD2B768B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$478D86AC-09E0-4340-921D-2BA9B908406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"505c2577f408963c94d2316f2a7e3ad858289c73","datavalue":{"value":"unfold/fold transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$7201E2D4-3F33-4B85-BA18-BB3D2B7F1EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109585$1FC8420F-3778-4FEB-8B61-0E838D987B84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56dff20871cccd8aa208eca6f15e82958430296","datavalue":{"value":{"entity-type":"item","numeric-id":656865,"id":"Q656865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109585$6B28B3E3-1DCA-4B6F-A50C-1037306D4CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415b7f5bc29de2fcf717212c932e9d2a2c60d241","datavalue":{"value":{"entity-type":"item","numeric-id":1170621,"id":"Q1170621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109585$45B45915-1065-45C8-8149-3DCBF46A571F","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":"Q1109585$C15D76AE-7110-4626-9277-1B03E92CE925","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109585$42819283-C927-4C3B-9B8E-A2E964DE9D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109585$6B281FF3-25CD-48D7-A802-4DA94EDBB892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8793493983ef79387cdf9085bcee0c585bc4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347338,"id":"Q3347338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109585$6D13282E-3FBD-488A-B760-08849174717F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424be3b7f9cd7263d4791a4e8beb08f2c78e3410","datavalue":{"value":{"entity-type":"item","numeric-id":4238481,"id":"Q4238481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873b1c8bfec76bdf31e1aabc95f699aa843c2870","datavalue":{"value":{"amount":"+0.7730634808540344","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":"Q1109585$D5160A56-D1EC-42A1-821E-E8C6EAF7B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc56cd04668553593aa95392b08298459d8a078","datavalue":{"value":{"entity-type":"item","numeric-id":2713371,"id":"Q2713371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bfef957b7f2060f962a667ea9b859a0d53771b","datavalue":{"value":{"amount":"+0.7529352307319641","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":"Q1109585$EF268BE7-3A1B-4D5C-ACE8-A6C2C5A4884C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a57fa2e62e584f6465feada3888515f3db1515","datavalue":{"value":{"entity-type":"item","numeric-id":4276170,"id":"Q4276170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a724f5d6168699f38726b98698500f07999682d","datavalue":{"value":{"amount":"+0.7506259083747864","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":"Q1109585$B056AA83-19A2-4953-81F0-A9E15A3E7602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235f58e65e65b3490f2b324acc2b516f396278e5","datavalue":{"value":{"entity-type":"item","numeric-id":1391732,"id":"Q1391732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64caf0a78c6b99dc3d139751b57ceeeab5c236de","datavalue":{"value":{"amount":"+0.7465146780014038","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":"Q1109585$74209D53-910A-440F-9FD9-1937837C81BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5205b198ceec958417b1610078225fc6f88e85bc","datavalue":{"value":{"entity-type":"item","numeric-id":5096873,"id":"Q5096873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3c908a4f0b1500aed33e126f06b32524b670a3","datavalue":{"value":{"amount":"+0.7346645593643188","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":"Q1109585$0D0C056A-CEB1-4B4E-B139-87D331A4887F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109585"}}}}}