{"entities":{"Q1108779":{"pageid":1119528,"ns":120,"title":"Item:Q1108779","lastrevid":66730968,"modified":"2026-04-12T12:29:40Z","type":"item","id":"Q1108779","labels":{"en":{"language":"en","value":"Partial evaluation of metaprograms in a ``multiple worlds'' logic language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068252"}},"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":"Q1108779$7512F449-4301-4816-BB7C-4E46633517EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9fbe165ec697dba37afc4cca6a681d64cb463f2","datavalue":{"value":{"text":"Partial evaluation of metaprograms in a ``multiple worlds'' logic language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108779$D31ACD52-42AD-4A2C-919A-367CE2BF8162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb6acfd190986dc28453289636078b258eb05b8f","datavalue":{"value":"0654.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$16BBB3E9-9785-44CA-9583-54DF36563E64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9311de3153b553df105752dba1ac4d474d427b4","datavalue":{"value":"10.1007/BF03037139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$90B20364-33D1-4C66-9666-B17835E6045D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$2600177D-8575-4CF7-A7DD-7C202F9DC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e28a78d3162af295374ccbb7eb9a59c1bf7c3113","datavalue":{"value":{"entity-type":"item","numeric-id":1108778,"id":"Q1108778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$C47D584C-C8AC-4054-B0D1-690E9FDD63F1","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":"Q1108779$A4AFAAB1-2936-452E-886A-ED9B8D9E44D3","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":"Q1108779$120FD77A-AA7F-4BE3-98A3-C43FF78091D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a638252f20c0aafba0db9f6573c46af482a971e","datavalue":{"value":"This paper describes a partial evaluation system specifically designed to be used as an automatic compilation tool for metaprograms in a knowlege base management system (EPSILON) based on Prolog. EPSILON main underlying concepts are the extension of Prolog with theories (``multiple worlds'') and the use of metaprogramming as the basic technique to define new inference engines and tools. Our partial evaluator is oriented towards theories and metainterpreter specialization. Being designed to be used as an automatic compiler, it does not require declarations from the user to control the unfolding process.    It handles full Prolog and provides also an elegant solution to the problem of the partial evaluation of incomplete and self-modifying programs, by exploiting the multiple worlds feature added to Prolog. EPSILON partial evaluation system turned out to be a very useful and powerful tool to combine the low cost and the flexibility of metaprogramming with the performance requirements of a practical knowledge based system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$B9DF23B1-1E05-4965-BF9A-1B06B1F40B45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$4D25D673-3416-4A7E-9FE8-4FF9E806F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$1C33FE33-C714-4625-A666-61A75EE0502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$072D085E-C3F6-4092-B517-6AD636166738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$5E6DEACD-3556-4CAD-9277-5239953BA201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0e96e17b63851d9f29a5c12a0a538ddd7b8a17e","datavalue":{"value":"4068252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$4A41846D-2C39-4AE2-8515-033697F61335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$6DED2A35-C6C5-4D8B-9888-B7025AEC0056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c32afaa32a99b2b1e7c31c28409fa23eb94c1842","datavalue":{"value":"metainterpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$439F86BC-8248-4390-96E2-D6286D5F56BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87412c0998642813c9f01d0b5972e1f8db508ec5","datavalue":{"value":"KBMS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$9F802EFD-A8D9-42DE-B09C-C7D4AB8B0091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$4EE727CD-A8EC-4E7A-B983-F93448806C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f628f746142e27d776bd983b6c74a863a37e86","datavalue":{"value":"automatic compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$E64E9EFE-F2BA-4204-B6A0-2227F2F8C4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a408c6a4ee334c8abd2b0cb5bc451a99cfa51a","datavalue":{"value":"knowlege base management system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$9C6D769F-CEF7-40BB-BD51-4488C917CA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$8F78CE6D-6E34-409B-A175-8119D0DA1FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358d5594ed9654a8e5381b47e2aeced363ec887e","datavalue":{"value":"multiple worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$8436640B-E6F5-4D9B-B9D9-95B185C2B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329d09641862ba8331cecdfb9962e139d99ecf56","datavalue":{"value":"metaprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$3FE64958-26EA-430D-B914-8BE3F30B15A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3bf07addd7a738cbac319eab000e9037d34cea","datavalue":{"value":"knowledge based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108779$B944B5C1-B6B3-483F-9446-8575C5E7A617","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":"Q1108779$CE3D40F1-FED9-4152-92A6-489A313C9620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dba80682bd0b31d621c22e500408802576b010","datavalue":{"value":{"entity-type":"item","numeric-id":1249036,"id":"Q1249036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$7513EDAA-C86E-44E7-B570-A93847A7DE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4c0af17dc85865b0c440b7eba58f1bf7cca886","datavalue":{"value":{"entity-type":"item","numeric-id":1169808,"id":"Q1169808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$9EC88953-1509-4567-8E48-F2A758442A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43b294471a7176e4e609ed65f52103fcffe1370","datavalue":{"value":{"entity-type":"item","numeric-id":1108782,"id":"Q1108782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$4F14A065-2C6D-48D2-BFF8-7C2A795CF56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe1ecfcb0bf02517fc3a0545c62772c426b7277","datavalue":{"value":{"entity-type":"item","numeric-id":1109585,"id":"Q1109585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$C627160B-1452-4BB8-A8AB-C3E33E96BE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305395d767f4a640605eaff754e44126df02a18c","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108779$4AF75950-623A-49FB-8635-27C6D6CA4964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"258b13e7c1dfb69757dffa88e34f3229bfd8140a","datavalue":{"value":"https://doi.org/10.1007/bf03037139","type":"string"},"datatype":"url"},"type":"statement","id":"Q1108779$DDBAC9BD-B625-44C1-B7C9-A88B9F6B9A39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"736fc9e303447a788831bb026d8f7a028e1373e6","datavalue":{"value":"W2049362499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108779$09B8FE6D-0C74-4B4D-B7EE-053010C15FB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28c91e591df77c81874c3d7b68affd456e60cf4","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d06c9dd65e5ec2f2e6c04ef792edcdf96c077e9","datavalue":{"value":{"amount":"+0.8300983309745789","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":"Q1108779$A6FAF07A-A868-4C1D-A981-4D4D1E43F7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e97ae877187290e8c40cb957954647fd6a7d26","datavalue":{"value":{"entity-type":"item","numeric-id":4286220,"id":"Q4286220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7b6c8cd5d3f2ec6f89d9fa32a59004debaf8b1","datavalue":{"value":{"amount":"+0.7921807169914246","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":"Q1108779$375EEB03-202A-4DB6-BB6F-F70E84DA2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308c0d157a72de3483e467f3c0db9601f44132de","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5121251f4da2cbbf2c2b4808476c0f77d82b55","datavalue":{"value":{"amount":"+0.7880724668502808","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":"Q1108779$2A1DEBF5-FE62-430A-8C8D-B7AFA5BDBF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972af539b87450a27b5a11b564a5bac2c1bb8776","datavalue":{"value":{"entity-type":"item","numeric-id":1108782,"id":"Q1108782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25d523510f327ca3617dbe5b22f58eb573b1fc0","datavalue":{"value":{"amount":"+0.7822086811065674","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":"Q1108779$F02C60D6-A210-4EA8-B0F4-33557EB0D9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d3638d3a94fa3dbe796d5db0b12064a0b094a3","datavalue":{"value":{"entity-type":"item","numeric-id":4413065,"id":"Q4413065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7d2d7ed686d8b8e00a7d4ba752b631bd174bef","datavalue":{"value":{"amount":"+0.780078113079071","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":"Q1108779$DC0442FC-4354-4A5A-9142-4BB967CD2326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial evaluation of metaprograms in a ``multiple worlds'' logic language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_evaluation_of_metaprograms_in_a_%60%60multiple_worlds%27%27_logic_language"}}}}}