{"entities":{"Q1892097":{"pageid":1902839,"ns":120,"title":"Item:Q1892097","lastrevid":71079309,"modified":"2026-04-13T19:20:31Z","type":"item","id":"Q1892097","labels":{"en":{"language":"en","value":"First-order theories for pure Prolog programs with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761854"}},"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":"Q1892097$6278E784-E6AD-4F9E-AC59-5CC92CC0F3ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adf45092c0a46b1e7885eb003ec7ad9dfacd6e5f","datavalue":{"value":{"text":"First-order theories for pure Prolog programs with negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892097$060E4B87-4F57-4891-B2AB-EE934AEA07E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6765a734fd0dd141ede64730d5c761b3ee191f00","datavalue":{"value":"0831.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892097$C32F8B2A-3F75-432A-A4CB-2A8A6E2FAAA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0da401bc774557c21270a6324896c746de1ef312","datavalue":{"value":"10.1007/BF01270391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892097$0BBCBBC7-02C8-41F6-9432-A6DE48522846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$DE48837E-CC9B-4591-A8B0-E667CDF3BDDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$3C269E01-EED2-4755-A686-48709E6676CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f78d507593b00743bcc5379c7be91e53b8be2eae","datavalue":{"value":{"time":"+1995-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892097$17EA9DF0-27D3-48C1-A25D-4E13DA6918AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45301852a2e75eb085df82cef69be76499e09050","datavalue":{"value":"The paper is the extended version of that one which appeared in the proceedings of the Ninth Symposium on Logic in Computer Science (1994). It introduces a new form of completion, called \\(\\ell\\)-completion, which provides a sound and complete axiomatization of the Prolog depth-first strategy under some natural conditions. A method based on \\(\\ell\\)- completion is then investigated to prove termination and equivalence of (pure) Prolog programs with negation. The basic idea is to use three operators \\(S\\), \\(F\\) and \\(T\\) to construct first order formulas \\(SG\\), \\(FG\\) and \\(TG\\) expressing success, failure and (universal) termination of the goal \\(G\\), respectively. Given a program \\(P\\), the \\(\\ell\\)-completion is obtained as the first order theory axiomatized by some axioms for the previous operators together with CET (Clark equality theory) and some formulas derived from \\(P\\). The main result then shows that a goal \\(G\\) succeeds (resp. fails) under Prolog resolution in the program \\(P\\) iff \\(SG\\) (resp. \\(FG)\\) is provable from the \\(\\ell\\)-completion (some conditions are needed for the ``if'' part). The paper is accurate and clear, and the results obtained are certain relevant. In particular, they furnish a logical semantics for Prolog which is much more elegant than many other existing semantics based on ad-hoc, often very complicate, constructions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892097$8057FA2D-AAA8-4484-95C1-088425D22307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892097$A30C7145-13C6-4E61-AD91-E7FD7ED55EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892097$974C4939-0C96-4520-A529-6E8BCF8C602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892097$61BA265C-D1BF-49CE-9C06-CBD1EB273742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff2b1ba997777928bca843355b28279a22f5ba78","datavalue":{"value":"761854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892097$E9AC391C-327D-4C62-A48F-69CCF22DF893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892097$F3CE0EE1-5C5B-4D3C-8B4C-809E44D3F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892097$1333FEB9-1CD3-46CC-8CF1-8F7E383B7CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892097$75C7AF8A-D56F-40FB-81F6-7F39704856ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9de049e0779ede1d4a5df8a04a7e663dace2f18","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$F2D23AC4-929D-4DC7-BBD7-D66C6645F5FF","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":"Q1892097$3E5C9848-CFF1-4850-ABDE-2E3049750D14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3602e75d4f5fa16bfe4f86530f0ea474ede400a8","datavalue":{"value":{"entity-type":"item","numeric-id":1390936,"id":"Q1390936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$58968143-9CAA-4285-90B2-DBDDC9CB5A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$72C08C77-A7BF-4F24-A9E5-92C91554E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$01B20269-3B9F-4CA7-A2C2-C00D6A1C2E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80536a6c4d7f535a1dcfc23142b1431bdf463243","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$25AD05EB-1A71-4E0E-9DC5-475C067D6B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$3736B78E-6CD7-4EB0-8101-31E7D5C08251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b36e4febcd796add46708903929a61db8ea92ff","datavalue":{"value":{"entity-type":"item","numeric-id":3129497,"id":"Q3129497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$E70241AD-B282-4164-B277-7A5A0FC75076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$3EF381BE-B20B-4D17-8B0C-02073C10061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$7768171F-7611-464D-B9DA-C745D5E77E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea2b734ad4a385574e3e00b27c1f36b71e7307c","datavalue":{"value":{"entity-type":"item","numeric-id":4302346,"id":"Q4302346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$A6AFC74C-AA84-4C82-9806-9FA05B9D6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf7ccf04b1eabcd546c6daa01f0ca4ca9a9538c","datavalue":{"value":{"entity-type":"item","numeric-id":4215638,"id":"Q4215638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$125DA9B7-063B-40F7-AD78-941D10084FDC","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":"Q1892097$F8BF6350-513F-4086-8AEB-624812A42B0F","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":"Q1892097$9F525C44-B697-4F3C-A916-19DB3D754D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf3b69f1569c7efd2007397ab963a81fdd382b","datavalue":{"value":{"entity-type":"item","numeric-id":4725709,"id":"Q4725709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$47D82B29-DA39-47DB-B7CE-8FD5D0D4BABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$0F5FF594-CF0F-4321-A950-FC4AE9880DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$F39E873C-8E12-4E6F-8090-92A71FE30F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$C0AAA524-23C2-4646-8FE6-ECADAEA207DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f1106673e90359456c76bb306302527cdfe34a","datavalue":{"value":{"entity-type":"item","numeric-id":1192340,"id":"Q1192340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$B494500E-4ABB-47D9-947C-02F9CEA3BAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcec7eb796870d177062ccc4ca50da862385c987","datavalue":{"value":{"entity-type":"item","numeric-id":1329744,"id":"Q1329744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$D56D7881-685B-4F97-B39A-010CF2A4D9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00589f0c4c39e8d1625a08b8a2f19987aaf9c05c","datavalue":{"value":{"entity-type":"item","numeric-id":3988059,"id":"Q3988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$F68AAB1F-BE37-4088-A5DA-6836B9A8B941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdff41fd5d71d26f9109f72430ab1e068f99f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3837741,"id":"Q3837741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$F9E3A715-E4F9-4200-BB90-0F30CD95C2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66931ff3954b8ad84dbebd3e57200856032a0cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4304493,"id":"Q4304493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$C6148117-15C7-4455-856F-DF04110E6DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5571ad9acd054e4eb3cd358af790766891df342e","datavalue":{"value":{"entity-type":"item","numeric-id":4696742,"id":"Q4696742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$B7A4D470-42A5-4050-B8D2-5EC79723668F","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":"Q1892097$BEBA79FD-EE06-4A71-8F9F-5AFF088417A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefb8e1929ae3e9bdc9a5897157de842f119a8c5","datavalue":{"value":{"entity-type":"item","numeric-id":4275257,"id":"Q4275257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892097$06F137C8-8475-4255-8AB3-9E5E24CDFD3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b1275386c1628d6c6b6f5d92448a1cbd9543a8","datavalue":{"value":{"entity-type":"item","numeric-id":3805881,"id":"Q3805881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e752e2b61840dd9498704dc480102cea7793456f","datavalue":{"value":{"amount":"+0.8183466792106628","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":"Q1892097$13137185-1AC7-40F9-B935-225C4BD22618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86f927324815d06510e06da24d4fce84e6f5e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1314280,"id":"Q1314280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc510bee33cb642a5ae3bdb7fad9a42aeb6ce2d","datavalue":{"value":{"amount":"+0.8152180910110474","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":"Q1892097$FC1BF557-8A93-4797-898A-E9235F8A93EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f6ce882750b852e0f4628776c07bf87adb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4002997,"id":"Q4002997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9e7c08417a75c1965571214fb990b3ac22d5ba","datavalue":{"value":{"amount":"+0.8135457038879395","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":"Q1892097$AF3FC07E-E068-40BA-B1FE-06E5C0C6F289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9e7c08417a75c1965571214fb990b3ac22d5ba","datavalue":{"value":{"amount":"+0.8135457038879395","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":"Q1892097$8D691231-B3C9-4FBC-8BAE-9D5EEF9BAC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402a4587537334ae0af32c48a496ba6d34ef4750","datavalue":{"value":{"entity-type":"item","numeric-id":1390936,"id":"Q1390936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a470c46a0cf5aa21e53a9965b6d62bac583a8b09","datavalue":{"value":{"amount":"+0.8134873509407043","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":"Q1892097$44D69E30-1367-439F-9B43-E0CB105403B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order theories for pure Prolog programs with negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_theories_for_pure_Prolog_programs_with_negation"}}}}}