{"entities":{"Q1097682":{"pageid":1108434,"ns":120,"title":"Item:Q1097682","lastrevid":49132945,"modified":"2026-01-06T15:45:58Z","type":"item","id":"Q1097682","labels":{"en":{"language":"en","value":"Logic programming with external procedures: Introducing S-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035103"}},"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":"Q1097682$B1559E34-F380-49D2-BD85-991EED16BB93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"995f7ad9f4d1c2f234da75aed43e271c5d8f8f36","datavalue":{"value":{"text":"Logic programming with external procedures: Introducing S-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097682$BFFD4EC7-C8DC-4980-90DD-084F955E2219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7673203b277aacd838796d83f8ac9924da157d65","datavalue":{"value":"0635.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097682$8AC1563E-C5C8-4F1B-9203-E19ADBA98E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4194d23fcdc191cf96c9ca8803e7417aeafc3acb","datavalue":{"value":"10.1016/0020-0190(88)90072-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097682$AC0C4030-0817-4AD7-BE1B-A57B08C3D10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50724b15d959b90b5e89bb1b7da71b9aedb680c7","datavalue":{"value":{"entity-type":"item","numeric-id":1097680,"id":"Q1097680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$ABF04DA9-C109-4E39-9B99-4EDEAB184DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"614865c792fc9cc5e0ae3df80f199328e64cdbf2","datavalue":{"value":{"entity-type":"item","numeric-id":1097681,"id":"Q1097681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$BE052DBE-E37B-4656-81AC-902BD7751FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bd7e616697d922bbc0f3b3bfce444d3bbf7194","datavalue":{"value":{"entity-type":"item","numeric-id":789183,"id":"Q789183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$EBDB4CC0-2C6E-486E-BD42-477D964A5E65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$CDC5CB72-12ED-4324-B397-173EABDA252A","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":"Q1097682$523C20F5-FB84-4076-8963-7C194BF2729F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04beba031cfb400336c3ee71e20d3c371b4e9478","datavalue":{"value":"A motivation for this work is the problem of re-usability of existing traditional software in logic programs. It can be viewed in an abstract way as the problem of amalgamation of Horn clause logic with a term reduction system whose rewrite rules are not accessible and thus cannot be used for construction of E-unifiers. Therefore, we introduce a new unification algorithm, called S-unification, which is a special incomplete case of E-unification. It has the property that whenever it succeeds, the result is a singleton complete set of E-unifiers of the arguments. It may also fail or report that it is not able to solve the problem of E-unification for given arguments. If the algorithm fails, the actual arguments have no E-unifier. The paper discusses the problem of amalgamation of external functional procedures in a logic program and gives a characterization of a class of amalgamated programs for which S- unification is complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$F14539BE-9375-450D-A0ED-F101F6173268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097682$C38B2CC7-05D2-443A-AAFE-645DCB4DB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097682$D4F7496E-5284-42DF-B536-DA331E7A681F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3244c55867e1e94df06cbe9f0b64c291e3823aa9","datavalue":{"value":"4035103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097682$1DF7BAD6-7AEF-4236-AEA3-E139A2877030","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11661a45c9ce707d777af7d718cf471c14098ee","datavalue":{"value":"Horn clause logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$B79D5BF0-C2ED-4E33-88D9-D0DE692201ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582455b8353e57c925066e64e6c37db5c989f2e1","datavalue":{"value":"term reduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$E32B96E7-1882-4467-95E0-F392D37451A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$05BAC795-D3C9-4EE1-8CF9-CD79D5EF45D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$DFCA0DE0-D34A-44BF-A142-476D2658AE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624d7375c3c264d55c45371039a6b1fc308ddf80","datavalue":{"value":"external functional procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$B26FBB73-9EFC-44BF-85B4-FB3A7251FF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097682$F862BBD7-259E-4E80-9D29-8683D15EAC37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$5D5385B4-72D5-46C6-9985-303111EAF227","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":"Q1097682$34B2D1BD-66F0-4360-9333-F8D229EA2F94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f7ae583a377635897e48bdd5cfaff082cc6fe32","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90072-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097682$86B8A116-23AA-4C3C-9E8F-1B770F8A696E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbf1a92b80df255b536119eb1ac6e37cf2d207c9","datavalue":{"value":"W2076637867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097682$95827938-1537-49B1-9FCC-DC32EF04E790","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$56C04E89-DC8A-4091-9CF8-DD728D109B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5c649d6997030aa2756de294a13f22a936e3","datavalue":{"value":{"entity-type":"item","numeric-id":3735058,"id":"Q3735058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$14424AAE-961D-4D0F-91D1-FC8320DD3980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$61FAD049-8D71-4431-81AA-321B20D83180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08494127cebe2a7e5cd00bb77f9a92192bb264cc","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$CB4455BF-F217-4A54-9925-DA6B903C2495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534396d7334d86cddade3558cd0d5293b75b37ab","datavalue":{"value":{"entity-type":"item","numeric-id":1091109,"id":"Q1091109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$DA088A82-E389-47E7-B4D7-C3396B0B1000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$8F57575A-EE98-4550-B549-EB4D9CC2D6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$D2DBC960-FD51-49EB-82FC-7B09543CE213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4bcd76765332f83ca0d4b037c13ff8aba19c47","datavalue":{"value":{"entity-type":"item","numeric-id":4132514,"id":"Q4132514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097682$5A0C14AA-DB30-4CB2-A6A2-69C44D720354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb30f11e4dbd88ea67372893395944cb7dacbf","datavalue":{"value":{"entity-type":"item","numeric-id":4858580,"id":"Q4858580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ceb056984f4d3c939deb15a5565b3215a6ef864","datavalue":{"value":{"amount":"+0.8369076251983643","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":"Q1097682$3308840E-2524-475A-9E22-34CEF6EF0502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ef3ad1d0535a3df8a266c09545f25732b9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741afb98e19e97cd1699abff8e5677342b60bb29","datavalue":{"value":{"amount":"+0.8341437578201294","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":"Q1097682$16A71F31-761A-45CF-80F1-DD3C50C22D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d652535ab80f6697d860e8e3f658c29525de14","datavalue":{"value":{"entity-type":"item","numeric-id":3201744,"id":"Q3201744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9904ed3e89fdbaab8e9a88cbdcce1c676fdd6044","datavalue":{"value":{"amount":"+0.8338915109634399","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":"Q1097682$660993C9-A7C0-450B-8439-1B222692FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062a178e7fa786173f8a52019fe7568bbabdbd70","datavalue":{"value":{"entity-type":"item","numeric-id":3821637,"id":"Q3821637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc121ec7fd98415cb226b4cffcb3b2c8e402cf2","datavalue":{"value":{"amount":"+0.7622666358947754","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":"Q1097682$3947B8BD-52D4-4D86-99E0-BFE1723A8948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905c6be4dec980c134ff9e4285346f223f5380cc","datavalue":{"value":{"entity-type":"item","numeric-id":4287482,"id":"Q4287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574e33847bd6703fd61539ee0ea575c4b0b18ae8","datavalue":{"value":{"amount":"+0.7574536800384521","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":"Q1097682$80023F6A-1FB0-418A-A8FE-3235EAB67918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1097682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1097682"}}}}}