{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:32:01Z","timestamp":1725629521194},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540184942"},{"type":"electronic","value":"9783642887192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-88719-2_8","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T20:48:41Z","timestamp":1343508521000},"page":"89-104","source":"Crossref","is-referenced-by-count":1,"title":["Prolog-Arbeiten in Karlsruhe"],"prefix":"10.1007","author":[{"given":"G.","family":"Goos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Kursawe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"POPE \u2014.4 Parallel Operating Prolog Engine","author":"J Beer","year":"1986","unstructured":"J. Beer, W.K. Giloi, POPE \u2014.4 Parallel Operating Prolog Engine, GMD \u2014 FIRST\/Technische Universit\u00e4t Berlin, 1986."},{"key":"8_CR2","unstructured":"A. Bockmayr, Narrowing with Inductively Defined Functions, Interner Bericht 25\/86 der Universit\u00e4t Karlsruhe, Institut f\u00fcr Informatik I, 1986."},{"key":"8_CR3","first-page":"276","volume":"250","author":"PG Bosco","year":"1987","unstructured":"P.G. Bosco, E. Giovannetti, C. Moiso, Refined Strategies for Semantic Unification, Proc. TAPSOFT \u201887, Vol. 2, Pisa, Italy, LNCS 250, (1987), 276\u2013290.","journal-title":"Lncs"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"1","author":"RM Burstall","year":"1977","unstructured":"R.M. Burstall, J. Darlington, A Transformation System for Developing Recursive Programs, JACM, 24, 1, (1977), 44\u201367.","journal-title":"Jacm"},{"key":"8_CR5","volume-title":"Information Processing","author":"K Clark","year":"1977","unstructured":"K. Clark, S.-A. T\u00e4rnlund, A First Order Theory of Data and Programs, in: G. Gilchrist (ed.), Information Processing\n                  77, IF IP, 1977."},{"key":"8_CR6","unstructured":"A. Colmerauer, Introduction a Prolog III, Groupe Intelligence Artificielle, Universite d\u2019Aix-Marseille I I, 1985."},{"key":"8_CR7","unstructured":"R. Dietrich, Eine Programmierumgebung f\u00fcr Termersetzungssysteme, Arbeitspapiere der GMD Nr. 130, 1985."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-16780-3_80","volume":"230","author":"R Dietrich","year":"1986","unstructured":"R. Dietrich, Relating Resolution and Algebraic Completion for Horn Logic, Proc. 8th Int. Conf. on Automated Deduction, Oxford, England, LNCS 230, (1986), 62\u201378.","journal-title":"Proc. 8th Int. Conf. on Automated Deduction, Oxford, England, LNCS"},{"key":"8_CR9","unstructured":"R. Dietrich, Modes and Types for Prolog, GMD Karlsruhe 1987 (In Vorbereitung)."},{"key":"8_CR10","first-page":"323","volume":"202","author":"L Fribourg","year":"1985","unstructured":"L. Fribourg, Handling Function Definitions through Innermost Superposition and Rewriting, Proc. 1st Conf. on Rewriting Techniques and Applications, Dijon, France, LNCS 202, (1985), 323\u2013343.","journal-title":"Proc. 1st Conf. on Rewriting Techniques and Applications, Dijon, France, LNCS"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"2","author":"JA Goguen","year":"1984","unstructured":"J.A. Goguen, J. Meseguer, Equality, Types, Modules, and (why not?) Generics for Logic Programming, J. Logic Programming 2, (1984), 179\u2013210.","journal-title":"J. Logic Programming"},{"key":"8_CR12","volume-title":"Programmiermethoden der K\u00fcnstlichen Intelligenz","author":"G Goos","year":"1987","unstructured":"G. Goos, R. Dietrich, P. Kursawe, Programmiermethoden der K\u00fcnstlichen Intelligenz, Skript zur Vorlesung an der Universit\u00e4t Karlsruhe, SS 1987."},{"key":"8_CR13","unstructured":"D. Hammes, Gleichheit in Prolog: Ein Fallbeispiel, Arbeitspapiere der GMD Nr. 228, 1986."},{"key":"8_CR14","volume-title":"Statische Analyse und \u00dcbersetzung von Prolog Programmen mit Datenflu\u00fc- und Typangaben","author":"F Hagl","year":"1987","unstructured":"F. Hagl, Statische Analyse und \u00dcbersetzung von Prolog Programmen mit Datenflu\u00fc- und Typangaben, Diplomarbeit, GMD Forschungsstelle Karlsruhe\/Universit\u00e4t Karlsruhe, Juli 1987."},{"key":"8_CR15","unstructured":"N. Heck, J. Avenhaus, Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language, Proc. of the International Conference on Fifth Generation Computer Systems 1984, ed. ICOT (1984) 210\u2013219."},{"key":"8_CR16","unstructured":"J. Hsiang, N. Dershowitz, Rewrite Methods for Clausal and Non-Clausal Theorem Proving, Proc. 10th Int. Conf on Automata, Languages and Programming, LNCS 154, 1983."},{"key":"8_CR17","unstructured":"J. Hsiang, M.K. Srivas. A Prolog Environment for Dein loping and Reasoning about Data Types, in: H.Ehrig, Formal Methods and Software Development Vol.2, LNCS 186,(1985),276\u2013293."},{"key":"8_CR18","volume-title":"Extended FJrolog for Order-Sorted Resolution","author":"M Huber","year":"1987","unstructured":"M. Huber, I. Varsek, Extended FJrolog for Order-Sorted Resolution, Fourth IEEE Symposium on Logic Programming, San Francisco. 1987."},{"key":"8_CR19","first-page":"318","volume":"87","author":"JM Hullot","year":"1980","unstructured":"J.-M. Hullot, Canonical Forms and Unification, Proc. 5th Conf. on Automated Deduction, LNCS 87, (1980), 318\u2013334.","journal-title":"Proc. 5th Conf. on Automated Deduction"},{"key":"8_CR20","volume-title":"A Theory of Complete Logic Programs with Equality","author":"J Jaffar","year":"1981","unstructured":"J. Jaffar, J.-L. Lassez, M.J. Maher, A Theory of Complete Logic Programs with Equality, Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT, Japan, 1981."},{"key":"8_CR21","volume-title":"A Prolog Machine for Warren s Abstract Instruction Set","author":"B Kn\u00f6dier","year":"1986","unstructured":"B. Kn\u00f6dier, B. Neidecker, W. Hosenstiel, A Prolog Machine for Warren Abstract Instruction Set, Proc. 8th European Conference on Artificial Intelligence, Brighton, England, 1986."},{"key":"8_CR22","volume-title":"Equality for Prolog","author":"WA Kornfeld","year":"1983","unstructured":"W.A. Kornfeld, Equality for Prolog, 8th Int. Joint Conf. on Artificial Intelligence, Karlsruhe, Germany, 1983."},{"key":"8_CR23","first-page":"556","volume-title":"Information Processing","author":"R Kowalski","year":"1974","unstructured":"R. Kowalski, Predicate Logic as a Programming Language, in: J. Rosenfeld (Ed.), Information Processing 74, North Holland, Amsterdam, 1974, 556\u2013574."},{"key":"8_CR24","volume-title":"Programmtransformationen f\u00fcr Horn-Programme","author":"P Kursawe","year":"1985","unstructured":"P. Kursawe, Programmtransformationen f\u00fcr Horn-Programme: Ein \u00dcberblick, Internes Papier, GMD 1985."},{"key":"8_CR25","unstructured":"P. Kursawe, How to Invent a Prolog Machine, in: E.Shapiro (ed.), Proc. of the 3rd International Conference on Logic Programming, LNCS 225,(1986),134\u2013148."},{"key":"8_CR26","volume-title":"Partial Evaluation and Instantiations, eingereicht zum Workshop on Partial and Mixed Computation","author":"P Kursawe","year":"1987","unstructured":"P. Kursawe, Partial Evaluation and Instantiations, eingereicht zum Workshop on Partial and Mixed Computation, Gl. Avernaes, D\u00e4nemark, Oktober 1987a."},{"key":"8_CR27","volume-title":"Transformationen Logischer Programme","author":"P Kursawe","year":"1987","unstructured":"P. Kursawe, Transformationen Logischer Programme, GMD 1987b (in Vorbereitung)."},{"key":"8_CR28","volume-title":"KA-Prolog: der Compiler, Arbeitspapier","author":"N Lindenberg","year":"1987","unstructured":"N. Lindenberg, KA-Prolog: der Compiler, Arbeitspapier, Institut f\u00fcr Informatik I, Universit\u00e4t Karlsruhe, 1987."},{"key":"8_CR29","volume-title":"KA-Prolog: Sprachdefinition","author":"N Lindenberg","year":"1987","unstructured":"N. Lindenberg, A. Bockmayr, R. Dietrich, P. Kursawe, B. Neidecker, C. Scharnhorst, I. Varsek, KA-Prolog: Sprachdefinition, Arbeitspapiere der GMD Nr. 249 und Interner Bericht 5\/87 der Universit\u00e4t Karlsruhe, Institut f\u00fcr Informatik, 1987."},{"key":"8_CR30","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1056447.1056448","volume":"72","author":"D McDermott","year":"1980","unstructured":"D. McDermott, The Prolog phenomenon, SIGART Newsletter 72 (1980), 16\u201320.","journal-title":"SIGART Newsletter"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"1","author":"CS Mellish","year":"1985","unstructured":"C. S. Mellish, Some Global Optimizations for a Prolog Compiler, Journal of Logic Programming 1 (1985) 43\u201366.","journal-title":"Journal of Logic Programming"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A Mycroft","year":"1984","unstructured":"A. Mycroft, R.A. O\u2019Keefe, A Polymorphie Type System for Prolog, Artificial Intelligence 23 (1984), 295\u2013307.","journal-title":"Artificial Intelligence"},{"key":"8_CR33","first-page":"289","volume-title":"Towards a Theory of Types in Prolog","author":"P Mishra","year":"1984","unstructured":"P. Mishra, Towards a Theory of Types in Prolog, IEEE Symposium on Logic Programming (1984), 289\u2013298."},{"key":"8_CR34","unstructured":"L. Naish, Negation and Control for Logic Programs, Springer Heidelberg, LNCS 242, 1986."},{"key":"8_CR35","unstructured":"B. Neidecker, KAP-Maschine: Maschinenmodell und Instruktionssatz, Interner Bericht 19\/86, Universit\u00e4t Karlsruhe, 1986."},{"key":"8_CR36","unstructured":"W. Sch\u00e4uble, W. Wagner, Syntaktische Analyse nat\u00fcrlicher Sprache im Hinblick auf ein Zugauskunftssystem, Arbeitspapiere der GMD Nr. 128, 1985."},{"key":"8_CR37","volume-title":"The Art of Prolog","author":"L Sterling","year":"1986","unstructured":"L. Sterling, E. Shapiro, The Art of Prolog, MIT Press Cambridge, 1986."},{"key":"8_CR38","volume-title":"Datenflu\u00df und Typangaben in Prolog Programmen","author":"W Stra\u00dfberger","year":"1986","unstructured":"W. Stra\u00dfberger, Datenflu\u00df und Typangaben in Prolog Programmen, Diplomarbeit, GMD Forschungsstelle Karlsruhe\/Universit\u00e4t Karlsruhe, M\u00e4rz 1986."},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"P.A. Subrahmanyam, J.-H. You, Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs, Proc. 11th ACM Symp. on Principles of Programming Languages, (1984), 228\u2013234.","DOI":"10.1145\/800017.800534"},{"key":"8_CR40","first-page":"127","volume-title":"Unfold\/Fold Transformation of Logic Programs","author":"H Tamaki","year":"1984","unstructured":"H. Tamaki, T. Sato, Unfold\/Fold Transformation of Logic Programs, in: S.-A.T\u00e4rnlund (ed.), Proc. of the 2nd International Conference on Logic Programming, Uppsala (1984), 127\u2013138."},{"key":"8_CR41","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF03037325","volume":"2","author":"E Tick","year":"1984","unstructured":"E. Tick, D.H.D. Warren, Towards a Pipelined Prolog Processor, New Generation Computing 2 (1984) 323\u2013345.","journal-title":"New Generation Computing"},{"key":"8_CR42","unstructured":"P. Tomko, Ein nat\u00fcrlichsprachliches Zugangssystem zu (Prolog-j Datenbanken, Studienarbeit, Universit\u00e4t Karlsruhe, Institut f\u00fcr Informatik I, 1986."},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"I. Varsek, Unifizierbare zweischichtige Grammatiken, Dissertation Universit\u00e4t Karlsruhe, 1984. I.Varsek, Ubersetzung logischer Programmiersprachen, GI-Jahrestagung 1986.","DOI":"10.1007\/978-3-642-71388-0_17"},{"key":"8_CR44","first-page":"91","volume-title":"A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation","author":"R Venken","year":"1984","unstructured":"R. Venken, A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation, ECAI 84, Elsevier Sc. Publ., North-Holland (1984) 91\u2013104."}],"container-title":["Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-88719-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T02:40:25Z","timestamp":1606444825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-88719-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540184942","9783642887192"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-88719-2_8","relation":{},"subject":[],"published":{"date-parts":[[1987]]}}}