{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T14:15:58Z","timestamp":1784470558205,"version":"3.55.0"},"reference-count":39,"publisher":"Maximum Academic Press","issue":"4","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":4601,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1996,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Logic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.<\/jats:p>","DOI":"10.1017\/s026988890000802x","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:34:09Z","timestamp":1246959249000},"page":"333-345","source":"Crossref","is-referenced-by-count":3,"title":["Logic Programming and Software engineering\u2014implications for Software design"],"prefix":"10.48130","volume":"11","author":[{"given":"Leon","family":"Sterling","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00dcmit","family":"Yal\u00e7inalp","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S026988890000802X_ref020","volume-title":"Proc. 19th Australian Computer Science Conference","author":"Kirschenbaum","year":"1996"},{"key":"S026988890000802X_ref014","volume-title":"Design Patterns","author":"Gamma","year":"1995"},{"key":"S026988890000802X_ref036","volume-title":"The Art of Prolog, 2nd ed","author":"Sterling","year":"1994"},{"key":"S026988890000802X_ref001","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson","year":"1985"},{"key":"S026988890000802X_ref012","volume-title":"Strand: New Concepts in Parallel Processing","author":"Foster","year":"1989"},{"key":"S026988890000802X_ref026","volume-title":"The Craft of Prolog","author":"O'Keefe","year":"1990"},{"key":"S026988890000802X_ref037","first-page":"127","volume-title":"Proc. Second International Conf on Logic Programming","author":"Tamaki","year":"1984"},{"key":"S026988890000802X_ref028","first-page":"326","volume-title":"Proc. European Symposium on Programming, LNCS","author":"Reps","year":"1990"},{"key":"S026988890000802X_ref007","article-title":"Applications of logic programming in software engineering","volume":"6","author":"Ciancarini","year":"1996","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"key":"S026988890000802X_ref013","first-page":"111","volume-title":"Proc. 5th International Workshop on Logic Program Synthesis and Transformation","author":"Fuchs","year":"1991"},{"key":"S026988890000802X_ref004","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"S026988890000802X_ref023","first-page":"371","volume-title":"Proc. Third International Conference on Practical Applications of Prolog","author":"Lakhotia","year":"1995"},{"key":"S026988890000802X_ref030","volume-title":"Concurrent Prolog","author":"Shapiro","year":"1987"},{"key":"S026988890000802X_ref033","first-page":"127","volume-title":"Constructing Logic Programs","author":"Sterling","year":"1993"},{"key":"S026988890000802X_ref038","doi-asserted-by":"crossref","unstructured":"Vasconcelos WW and Fuchs NE , 1996. \u201cAn opportunistic approach for logic program analysis and optimization using enhanced schema-based transformations\u201d Proc. Logic Program Synthesis and Transformation, LNCS, pp174\u2013188.","DOI":"10.1007\/3-540-60939-3_14"},{"key":"S026988890000802X_ref002","volume-title":"Meta-Programming in Logic Programming","author":"Abramson","year":"1989"},{"key":"S026988890000802X_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90032-9"},{"key":"S026988890000802X_ref032","volume-title":"Proc. Int. Conf Software Engineering","author":"Sterling","year":"1992"},{"key":"S026988890000802X_ref010","volume-title":"Logic Programming: Systematic Program Development","author":"Deville","year":"1990"},{"key":"S026988890000802X_ref009","first-page":"80","volume-title":"Proc. 3rd European Soft. Eng. Conf, LNCS 550","author":"Dauchy","year":"1991"},{"key":"S026988890000802X_ref006","first-page":"109","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"Ciancarini","year":"1992"},{"key":"S026988890000802X_ref008","doi-asserted-by":"publisher","DOI":"10.1145\/22719.22946"},{"key":"S026988890000802X_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BF00120881"},{"key":"S026988890000802X_ref011","first-page":"131","volume-title":"In ACM Turing Award Lectures\u2013The First Twenty Years\u20131966\u20131985","author":"Floyd","year":"1987"},{"key":"S026988890000802X_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530791"},{"key":"S026988890000802X_ref016","first-page":"467","volume-title":"Proc. 12th International Logic Programming Conference","author":"Gegg-Harrison","year":"1995"},{"key":"S026988890000802X_ref017","doi-asserted-by":"crossref","unstructured":"Harel D , 1992. \u201cBiting the silver bullet: towards a brighter future for system development\u201d IEEE Computer.","DOI":"10.1109\/2.108047"},{"key":"S026988890000802X_ref018","doi-asserted-by":"publisher","DOI":"10.1145\/129393.129398"},{"key":"S026988890000802X_ref021","volume-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"S026988890000802X_ref022","first-page":"426","volume-title":"Proc. 1989 North American Conference on Logic Programming","author":"Lakhotia","year":"1989"},{"key":"S026988890000802X_ref024","unstructured":"Naish L , 1996. \u201cHigher Order Logic Programming in Prolog\u201d Computer Science Technical Report, University of Melbourne."},{"key":"S026988890000802X_ref003","volume-title":"Logic Programming","author":"Bowen","year":"1982"},{"key":"S026988890000802X_ref025","first-page":"810","volume-title":"Proc. 5th International Conference and Symposium on Logic Programming","author":"Nadathur","year":"1988"},{"key":"S026988890000802X_ref027","doi-asserted-by":"publisher","DOI":"10.1145\/214956.214961"},{"key":"S026988890000802X_ref029","first-page":"471","volume-title":"Proc. Second International Conf. on Practical Applications of Prolog","author":"Schachte","year":"1994"},{"key":"S026988890000802X_ref031","doi-asserted-by":"crossref","unstructured":"Somogyi Z , Henderson F and Conway T , 1996. \u201cThe execution algorithm of Mercury: an efficient purely declarative logic programming language\u201d Journal of Logic Programming.","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"S026988890000802X_ref034","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000041"},{"key":"S026988890000802X_ref035","first-page":"21","volume-title":"Workshop on Logic Programming Environments","author":"Sterling","year":"1993"},{"key":"S026988890000802X_ref039","unstructured":"Yal\u00e7inalp L\u00fc , 1991. \u201cMeta-Programming for Knowledge-Based Systems in Prolog\u201d PhD Thesis, Case Western Reserve University."}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S026988890000802X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:52Z","timestamp":1767624172000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S026988890000802X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S026988890000802X"],"URL":"https:\/\/doi.org\/10.1017\/s026988890000802x","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}