{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T20:10:18Z","timestamp":1672258218365},"reference-count":38,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1987,10,1]],"date-time":"1987-10-01T00:00:00Z","timestamp":560044800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":9421,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1987,10]]},"DOI":"10.1016\/0167-6423(87)90032-3","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:09:22Z","timestamp":1027642162000},"page":"179-205","source":"Crossref","is-referenced-by-count":6,"title":["Logic programming and rapid prototyping"],"prefix":"10.1016","volume":"9","author":[{"given":"Henryk Jan","family":"Komorowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ma\u0141uszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(87)90032-3_BIB1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","article-title":"Contributions to the theory of logic programming","volume":"29","author":"Apt","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0167-6423(87)90032-3_BIB2","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TSE.1985.232207","article-title":"Exception handling: formal specification and systematic program construction","volume":"11","author":"Bidoit","year":"1985","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-6423(87)90032-3_BIB3","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TSE.1984.5010238","article-title":"Prototyping vs. specifying: A multiproject experiment","volume":"10","author":"Boehm","year":"1984","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-6423(87)90032-3_BIB4","series-title":"Turbo Prolog Owner's Handbook","year":"1986"},{"key":"10.1016\/0167-6423(87)90032-3_BIB5","series-title":"Formal Methods and Software Development TAPSOFT, Vol. 2","first-page":"261","article-title":"Application of Prolog to test set generation from algebraic specifications","volume":"186","author":"Bouge","year":"1985"},{"key":"10.1016\/0167-6423(87)90032-3_BIB6","series-title":"Occasional Paper 27","article-title":"DECsystem-10 Prolog User's Manual","author":"Bowen","year":"1982"},{"key":"10.1016\/0167-6423(87)90032-3_BIB7","first-page":"129","article-title":"Adding redundancy to obtain more reliable and more readable Prolog programs","author":"Bruynooghe","year":"1982","journal-title":"Proc. 1st International Logic Programming Conference"},{"key":"10.1016\/0167-6423(87)90032-3_BIB8","series-title":"Technical Report 81-36","article-title":"The synthesis and verification of logic programs","author":"Clark","year":"1981"},{"key":"10.1016\/0167-6423(87)90032-3_BIB9","series-title":"Logic Programming","first-page":"141","article-title":"Runnable specifications as a design tool","author":"Davis","year":"1982"},{"key":"10.1016\/0167-6423(87)90032-3_BIB10","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","article-title":"Logic programs and attribute grammars","volume":"2","author":"Deransart","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/0167-6423(87)90032-3_BIB11","series-title":"Proc. Logic Programming Workshop'83","first-page":"94","article-title":"The pragmatic of Prolog: Some comments","author":"Elcock","year":"1983"},{"key":"10.1016\/0167-6423(87)90032-3_BIB12","series-title":"Technical Report","article-title":"Test data generation using Prolog","author":"Gerhart","year":"1985"},{"key":"10.1016\/0167-6423(87)90032-3_BIB13","series-title":"Ph.D. Dissertation","article-title":"A formal development of programs","author":"Hansson","year":"1980"},{"key":"10.1016\/0167-6423(87)90032-3_BIB14","series-title":"Logic Programming","first-page":"117","article-title":"Program transformation by data structure mapping","author":"Hansson","year":"1982"},{"key":"10.1016\/0167-6423(87)90032-3_BIB15","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TSE.1986.6312939","article-title":"Functional programming, specification and rapid prototyping","volume":"12","author":"Henderson","year":"1986","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-6423(87)90032-3_BIB16","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","article-title":"Derivation of logic programs","volume":"28","author":"Hogger","year":"1981","journal-title":"J. ACM"},{"key":"10.1016\/0167-6423(87)90032-3_BIB17","series-title":"Introduction to Logic Programming","author":"Hogger","year":"1984"},{"key":"10.1016\/0167-6423(87)90032-3_BIB18","series-title":"Prolog for Programmers","author":"Klu\u017aniak","year":"1985"},{"key":"10.1016\/0167-6423(87)90032-3_BIB19","first-page":"225","article-title":"Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation in the case of Prolog","author":"Komorowski","year":"1982","journal-title":"Proc. 9th ACM Conference on Principles of Programming Languages"},{"key":"10.1016\/0167-6423(87)90032-3_BIB20","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/17919.806840","article-title":"A model and an implementation of a logic programming environment","volume":"20","author":"Komorowski","year":"1985","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0167-6423(87)90032-3_BIB21","first-page":"556","article-title":"Predicate logic as a programming language","volume":"74","author":"Kowalski","year":"1974"},{"key":"10.1016\/0167-6423(87)90032-3_BIB22","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","article-title":"Algorithm = Logic+Control","volume":"22","author":"Kowalski","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(87)90032-3_BIB23","first-page":"133","article-title":"Logic programming","volume":"83","author":"Kowalski","year":"1983"},{"key":"10.1016\/0167-6423(87)90032-3_BIB24","series-title":"Foundation of Logic Programming","author":"Lloyd","year":"1984"},{"key":"10.1016\/0167-6423(87)90032-3_BIB25","series-title":"MProlog Language Reference","year":"1986"},{"key":"10.1016\/0167-6423(87)90032-3_BIB26","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0304-3975(83)90064-6","article-title":"Towards a programming language based on two-level grammars","volume":"28","author":"Ma\u0142uszy\u0144ski","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(87)90032-3_BIB27","first-page":"193","article-title":"A comparison of the logic programming language Prolog with two-level grammars","author":"Ma\u0142uszy\u0144ski","year":"1982","journal-title":"Proc. 1st International Logic Programming Conference"},{"key":"10.1016\/0167-6423(87)90032-3_BIB28","series-title":"DAI Research Paper 163","article-title":"The automatic generation of mode declarations for Prolog programs","author":"Mellish","year":"1981"},{"key":"10.1016\/0167-6423(87)90032-3_BIB29","first-page":"289","article-title":"Towards a theory of types in Prolog","author":"Mishra","year":"1984","journal-title":"Proc. 1984 IEEE International Symposium on Logic Programming"},{"key":"10.1016\/0167-6423(87)90032-3_BIB30","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","article-title":"A polymorphic type system for Prolog","volume":"23","author":"Mycroft","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0167-6423(87)90032-3_BIB31","series-title":"Information Processing 83","first-page":"293","article-title":"On the compilation of a domain-based Prolog","author":"Nilsson","year":"1983"},{"key":"10.1016\/0167-6423(87)90032-3_BIB32","series-title":"C Prolog User's Manual","author":"Pereira","year":"1983"},{"key":"10.1016\/0167-6423(87)90032-3_BIB33","series-title":"Technical Report LiTH-MAI-R-82-19","article-title":"An approach to information management systems","author":"Sandewall","year":"1982"},{"key":"10.1016\/0167-6423(87)90032-3_BIB34","first-page":"299","article-title":"Algorithmic program diagnosis","author":"Shapiro","year":"1982","journal-title":"Proc. 9th ACM Conference on Principles of Prog. Languages"},{"key":"10.1016\/0167-6423(87)90032-3_BIB35","doi-asserted-by":"crossref","first-page":"1391","DOI":"10.1109\/TSE.1985.231887","article-title":"The software engineering of expert systems: Is Prolog appropriate?","volume":"11","author":"Subrahmanyam","year":"1985","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-6423(87)90032-3_BIB36","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0167-6423(82)90014-4","article-title":"Formal specification of a display-oriented text editor","volume":"1","author":"Sufrin","year":"1982","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0167-6423(87)90032-3_BIB37","series-title":"Proc. Prolog Programming Environment","first-page":"119","article-title":"Perpetual processes\u2014an unexploited Prolog technique","author":"Warren","year":"1982"},{"key":"10.1016\/0167-6423(87)90032-3_BIB38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00265077","volume":"5","year":"1975","journal-title":"Acta Informat."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642387900323?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642387900323?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T13:51:00Z","timestamp":1555077060000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167642387900323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,10]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1987,10]]}},"alternative-id":["0167642387900323"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(87)90032-3","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1987,10]]}}}