{"entities":{"Q805224":{"pageid":807072,"ns":120,"title":"Item:Q805224","lastrevid":64472091,"modified":"2026-04-11T20:06:32Z","type":"item","id":"Q805224","labels":{"en":{"language":"en","value":"Is there an axiomatic semantics for standard pure Prolog?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203698"}},"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":"Q805224$8BB128E1-5511-4B7C-8E99-1A302696703E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaf979e93d11ac2e519162e89c535b37a29ad1d5","datavalue":{"value":{"text":"Is there an axiomatic semantics for standard pure Prolog?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805224$8AE53002-3E07-4744-8605-9A6744B2E6ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829f69803781de6cafc2a133c62f4d280402e728","datavalue":{"value":"0728.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$DA4688B4-F1B5-49C3-A533-74B6B8E12C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3da56c16993d9bca7709f209e268f4df129ef51b","datavalue":{"value":"10.1016/0304-3975(91)90229-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$4649B10F-8DFB-4102-B12D-EF48A2982219","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f003ca842cf87d7da61cf9d64a799f211996633","datavalue":{"value":{"entity-type":"item","numeric-id":207942,"id":"Q207942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$3A25E841-F392-44AE-AAB7-4CC5A6143E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e5efea2cc7db8851367a6ebd14e4f3b6c67974","datavalue":{"value":{"entity-type":"item","numeric-id":805223,"id":"Q805223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$9F185451-650E-4439-9796-F34D91147F0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$8828C100-4B15-4857-9115-88F0F515088A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q805224$C2B8D9CD-ADF1-4B8B-9129-CD5B676B6781","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70c8d90581b6d0a8ab9b8ea915f81e816a932fd3","datavalue":{"value":"A well known problem with the semantics of pure prolog programs arises from the differences between the intended declarative meaning and the operational semantics which results from the use of a particular selection rule in the process of SLD resolution. Differences which would not arise if all SLD resolution trees would be finite. The infinite computations, however, create a gap between the succeeding SLD trees and the finitely failed ones.    Several authors have attempted to present axiomatic descriptions for the semantics of pure prolog by the way of syntactic transformations of the input program. The syntactic translation strengthens the meaning in such a way that the intended least Herbrand model of the input program becomes the unique model of the transformed program without having to invoke higher order principles. Again these translations in general work only for clean evaluation strategies (fair use of a breath first strategy). This leaves open the problem of defining transformations which capture the operational semantics for the case that real life SLD trees are used, since these are generated by an unfair depth-first search method.    The author presents a pair of alternative semantics for pure prolog programs: the finite standard semantics, which is independent of clause ordering and the finite invariant operational semantics which is independent both of ordering of clauses and subgoals within a clause. These two semantics are subsequently axiomalized by a syntactic transformation of the input program. These axiomatics are subfrequently shown to be complete for the corresponding semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805224$65D80562-BE69-48CC-A18E-AE97AF3BC088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$C2BFDC1D-FF20-46BB-BD2E-3332EE1B0B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$E32F869F-5698-43CB-9C36-19A3544CD633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$C266D9E3-2AF0-48AC-AB2E-BA18A2ED7B88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"121f018bbc1d10ab4c1d66f6420a2fb39212d3e2","datavalue":{"value":"4203698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$14D89FB3-4A82-431F-8AB1-1951AECDF702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q805224$73F1CEA8-568A-40E6-BC48-3D8127267CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6d7fb45bca470ca9be28d553a761af87641834","datavalue":{"value":"Clark completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q805224$36476662-9D02-4542-A943-254976014EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ae65f4f1479dd25efa8060394804e75eadae38","datavalue":{"value":"pure prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q805224$6CAF6EB1-3483-419F-9912-DE0459715DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df87906b02eb78cee139c2547f0cbf5413af1e9","datavalue":{"value":"SLD resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q805224$DF2B2778-6194-4A1C-B737-DD9DE4F841ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca9cd2a9131e1d8839142cee57f1e863d7371382","datavalue":{"value":{"entity-type":"item","numeric-id":582045,"id":"Q582045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$71DB824A-A6E4-41B8-9568-19AECA9E0B59","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":"Q805224$6C98EF5E-8BE1-4C04-96A9-1946C53BC577","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$A63854B5-B9B4-40F2-B45B-CD90801F6C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b2cdb408e129191380bf97864d34919350425e","datavalue":{"value":{"entity-type":"item","numeric-id":3768369,"id":"Q3768369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$BBD6AC69-1297-4874-B334-86B274DFBCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b49e8dcf1b539ea7ea4222ac4e0fa9ec42e814","datavalue":{"value":{"entity-type":"item","numeric-id":753476,"id":"Q753476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$46F24FE9-A483-44B7-B879-950AB4FA03FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$821E437B-2FF8-4C15-AD8E-31E94FAE6648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4e8988a0d40e2e696ae3fd090888f6d112d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3976572,"id":"Q3976572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$D81D8B24-4951-46EE-B29D-509A5A3031B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673b4c7ae8a199b2173754a4cabb2c5688edff4e","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$59CBF426-7CF3-45AA-8480-56946C56DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2433e68677fdbdd8c49c482851fb149d47552ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3798220,"id":"Q3798220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$EAF8DB1C-56E9-425C-A68C-286766904181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663ba6fd3187da81c69f674cba39972e432b1c2e","datavalue":{"value":{"entity-type":"item","numeric-id":805224,"id":"Q805224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$EDDE7CB8-CFBC-4C20-89D6-0AE268F02B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e49d24efc4d6e28e97928249b399027bfe2db6","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$305FE380-AAF2-424C-B6B7-2A70BACBDE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$41033102-0FD8-4B5D-9407-D70EBE25B87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1762a562d76972c955934bea72e964211552c618","datavalue":{"value":{"entity-type":"item","numeric-id":3721797,"id":"Q3721797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$EA028FC7-6413-4C41-947C-F20711543077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7053e5534c727066c39912fd121976b47d43f3","datavalue":{"value":{"entity-type":"item","numeric-id":1190477,"id":"Q1190477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$2E152957-F969-41C2-9547-540E246017BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe64e87cfb4a500d2eda02370d2ae2e25d15209","datavalue":{"value":{"entity-type":"item","numeric-id":4067100,"id":"Q4067100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$F5C7B0A0-F26D-4351-9D2F-A736A13D2594","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":"Q805224$0B73DEA3-CB28-4DC1-9BB5-5A0DCD846A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$F57C4583-CC19-4368-8951-AC1B703223AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$77D191C9-11E9-4BD9-A66E-0D7AB55079E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$2D0ED000-DC7A-4280-95A5-D2F8D509FF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52896cd88a5f2799c73a3e4eeec032de3bfddd9","datavalue":{"value":{"entity-type":"item","numeric-id":3334069,"id":"Q3334069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$14C2830D-F4A8-4C2C-9E0D-A5F7BC811CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$ADAE9709-27A3-4FF5-8EC0-81F963A3010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$2A7A90B0-2CB4-4001-9D08-776A3B295D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805224$FA308F28-C6B2-4BD8-9AD2-D33BA33F7400","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6f4911c27372a63ef3e488a561bb9c13d7f7e44","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90229-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q805224$F80912E9-3166-4E44-A9DF-CD8C99FE08B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"491613b7eeed9c1ce09af0d752d08e6049aa7456","datavalue":{"value":"W2042184705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805224$4452F861-503C-4A6E-AA76-68DD383169B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a054549614805bae41860ade89d7b28adc037780","datavalue":{"value":{"entity-type":"item","numeric-id":1818324,"id":"Q1818324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887ebb1c9bef57ad8fd4f59eeea0c8e509901d9b","datavalue":{"value":{"amount":"+0.811453640460968","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":"Q805224$D984292A-F6CE-4942-8523-87CDB6290040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7eadb5d1eb9b56fab889c4827e105717c6fcd6","datavalue":{"value":{"amount":"+0.8026092648506165","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":"Q805224$FBDC467E-BEC9-471C-B27A-E9EA36B2A325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb282fac388f043b9040d9b096e7121808d2ae7e","datavalue":{"value":{"entity-type":"item","numeric-id":3798220,"id":"Q3798220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd588bc8dba2bd2f8c840261ce7095a558027b18","datavalue":{"value":{"amount":"+0.7950312495231628","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":"Q805224$9930B043-56FE-48DE-B765-E1C16DE7A7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7168a241473f35e7bdd3bb270aebcc0ad7989e","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ea8a05905c2a051a0f5e6700efa7a9f909fbf0","datavalue":{"value":{"amount":"+0.7847867012023926","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":"Q805224$F52F2541-D28F-4A72-B7B1-23091CA74BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de4da299437f702528f1f2d9f54c4a913c4f20f","datavalue":{"value":{"entity-type":"item","numeric-id":3079915,"id":"Q3079915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d641bb2cf0aab89de9384e78021d97a6fe45b760","datavalue":{"value":{"amount":"+0.7841684222221375","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":"Q805224$BE7F3634-05E4-489E-96AF-AFB497E17AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is there an axiomatic semantics for standard pure Prolog?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_there_an_axiomatic_semantics_for_standard_pure_Prolog%3F"}}}}}