{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:08:34Z","timestamp":1725628114379},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168133"},{"type":"electronic","value":"9783642713880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71388-0_17","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:37:56Z","timestamp":1320230276000},"page":"212-226","source":"Crossref","is-referenced-by-count":1,"title":["\u00dcbersetzung logischer Programmiersprachen"],"prefix":"10.1007","author":[{"given":"Igor","family":"Varsek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Prolgo On the DECSYSTEM-10 Users Manual, Draft","author":"DL Bowen","year":"1981","unstructured":"D.L.Bowen, L. Byrd, L.M. Pereira, F.C.B. Pereira, D.H.D. Warren:Prolgo On the DECSYSTEM-10 Users Manual, Draft-21. October 1981. Department of Artificial Intelligence, University of Edinburgh"},{"key":"17_CR2","unstructured":"A. Bockmayr: Conditional rewriting and narrowing as a theoretical framework for logic-functional programming-A Survey. Interner Bericht Nr. 10\/86, Institut f\u00fcr Informatik I Universit\u00e4t Karlsruhe (1986)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"R.M. Burstall, J. Darlington: A Transformation System for Developing Recursive Programs. J. ACM 24 (1977), 46\u201367","journal-title":"J. ACM"},{"key":"17_CR4","volume-title":"Implementations of Prolog (J.A. Campbell","author":"M Bruynooghe","year":"1983","unstructured":"M. Bruynooghe, L.M. Pereira: Deduction revision by intelligent backtracking. In: Implementations of Prolog (J.A. Campbell, Ed. ), Ellis Horwood Series in Artificial Intelligence (1983)"},{"key":"17_CR5","first-page":"10","volume-title":"1985 Symp. on Logic Programming","author":"J-H Chang","year":"1985","unstructured":"J.-H. Chang, A.M. Despain: Semi-Intelligent Backtracking of Prolog Based on Static Data dependency Analysis. In: 1985 Symp. on Logic Programming, Boston, IEEE Computer Society Press (1985) 10\u201321"},{"key":"17_CR6","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1984","unstructured":"W.F. Clocksin, C.S. Mellish: Programming in Prolog ( Second Edition ), Springer-Verlac (1984)"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/TPAMI.1981.4767050","volume":"3","author":"PT Cox","year":"1981","unstructured":"P.T.Cox, T. Pietrzykowski: Deduction Plans: A Basis for Intelligent Backtracking, in: IEEE Trans, on Pattern Analysis and Machine Intelligence 3(1), (1981) 52\u201365","journal-title":"Pattern Analysis and Machine Intelligence"},{"key":"17_CR8","volume-title":"Relating Resolution and Algebraic Completion for Horn Logic. Arbeitspapiere der GMD","author":"R Dietrich","year":"1985","unstructured":"R. Dietrich: Relating Resolution and Algebraic Completion for Horn Logic. Arbeitspapiere der GMD 177, ( Nov. 1985 ), Gesellschaft f\u00fcr Mathematik und Datenverarbeitung mbH."},{"key":"17_CR9","volume-title":"A Unification Graph with Constraints for Intelligent Backtracking in Deduction Systems. Interner Bericht 100\/84","author":"W Dilger","year":"1984","unstructured":"W. Dilger, A. Janson: A Unification Graph with Constraints for Intelligent Backtracking in Deduction Systems. Interner Bericht 100\/84, Fachbereich Informatik, Universit\u00e4t Kaiserslautern (1984)"},{"key":"17_CR10","volume-title":"Technische Universit\u00e4t M\u00fcnchen","author":"U Guentzer","year":"1985","unstructured":"U. Guentzer, R. Bayer: Control for Iterative Evaluation of Recursive Rules in Deductive Database Systems. Bericht TUM-18513, Technische Universit\u00e4t M\u00fcnchen, 1985"},{"key":"17_CR11","unstructured":"M. Huber: Eine mehrsortiger Resolutionskalk\u00fcl f\u00fcr Prolog. Diplomarbeit, Universit\u00e4t Karlsruhe, Institut f\u00fcr Informatik I, (1986)"},{"key":"17_CR12","volume-title":"University of Illinois at Urbana-Champaign","author":"J Hsiang","year":"1983","unstructured":"J. Hsiang: Topics in Automated Theorem Provin and Program Generation. Ph. D. Thesis, University of Illinois at Urbana-Champaign, 1983."},{"key":"17_CR13","first-page":"296","volume-title":"An Optimizing Front-End to a Relational Query System. Proc","author":"M Jarke","year":"1984","unstructured":"M. Jarke, J. Clifford, Y. Vassiliou: An Optimizing Front-End to a Relational Query System. Proc. ACM-SIGMOD Conference, Boston, (1984) 296 - 306"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"RE Korf","year":"1985","unstructured":"R.E. Korf: Depth-First Iterative-Deepening: An Optimal Admissible Tree Search Journal of Artificial Intelligence 27 (1985) 97\u2013109","journal-title":"An Optimal Admissible Tree Search Journal of Artificial Intelligence"},{"key":"17_CR15","volume-title":"micro-PROLO: GProgramming in Logic","author":"R Kowalski","year":"1984","unstructured":"R. Kowalski, M.J. Sergot: micro-Prolog for Problem Solving, in: K.L. Clark, F.G. McCabe: micro-PROLOG: Programming in Logic. Prentice-Hall International, (1984)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"P. Kursawe : How to invent a Prolog Machine . Proc. Third International Conference on Logic Programming , E. Shapiro Ed., LNCS 225, Springer-Verlag (1986) 134\u2013148","DOI":"10.1007\/3-540-16492-8_70"},{"key":"17_CR17","volume-title":"Der KAP-Compiler - V 0.2. unver\u00f6ffentlichtes Arbeitspapier","author":"N Lindenberg","year":"1986","unstructured":"N. Lindenberg: Der KAP-Compiler - V 0.2. unver\u00f6ffentlichtes Arbeitspapier, Universit\u00e4t Karllsruhe, Fakult\u00e4t f\u00fcr Informatik (1986)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"C.S. Mellish: Some Global Optimizations for a Prolog Compiler.\u2019 Journal of Logic Programming, Vol. 2, No. 1 (1985)","DOI":"10.1016\/0743-1066(85)90004-4"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0743-1066(85)90017-2","volume":"3","author":"L Naish","year":"1985","unstructured":"L. Naish: Automating Control for logic Programs. J. Logic Programming Vol. 2, Number 3, (1985), 167 - 185","journal-title":"J. Logic Programming Vol. 2"},{"key":"17_CR20","volume-title":"MU-Prolog 3.2 Reference Manual. Techn. Report 85\/13","author":"L Naish","year":"1985","unstructured":"L. Naish: MU-Prolog 3.2 Reference Manual. Techn. Report 85\/13, Dept. of Computer Science, Univ. of Melbourne (1985)."},{"key":"17_CR21","volume-title":"KAP-Maschine - Maschinenmodell 0.4, unver\u00f6ffentlichtes Arbeitspapier","author":"B Neidecker","year":"1985","unstructured":"B. Neidecker: KAP-Maschine - Maschinenmodell 0.4, unver\u00f6ffentlichtes Arbeitspapier, Universit\u00e4t Karllsruhe, Fakult\u00e4t f\u00fcr Informatik (1985)"},{"key":"17_CR22","unstructured":"B. Neidecker: Entwurf eines Basissystems f\u00fcr logisches Programmieren. Diplomarbeit, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik (1986) (unver\u00f6ffentlicht)"},{"key":"17_CR23","volume-title":"University of Edinburgh","author":"F Pereira","year":"1984","unstructured":"F. Pereira: C-Prolog User\u2019s Manual, Version 1.5. EdCAAD, Edinburgh Computer Aided Architectural Design, University of Edinburgh (1984)"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"L.M. Pereira, A. Porto: Selective Backtracking for Logic Programs. Proc. Proc. 5th Conference on Automated Deduction, LNCS 87, Springer-Verlag (1980) 306\u2013317","DOI":"10.1007\/3-540-10009-1_24"},{"key":"17_CR25","volume-title":"Springer-Verlag","author":"T Pietrzykowski","year":"1982","unstructured":"T. Pietrzykowski, S. Matwin: Exponential Improvement of Efficient Backtracking. A Strategy for Plan-based Deduction. Proc. 6th Conference on Automated Deduction, pp. 223-239, LNCS 138, Springer-Verlag (1982)."},{"key":"17_CR26","volume-title":"Proc","author":"DA Plaisted","year":"1984","unstructured":"D.A. Plaisted: The Occur-Check Problem in Prolog. Proc. 1984 Symp. on Logic Programming, Atlantic City (1984)"},{"key":"17_CR27","unstructured":"Pl\u00fcm 86] L. Pl\u00fcmer: Efficient Backtracking of Prolog Procedures Based on Static Optimization. unver\u00f6ffentlichter Bericht, Universit\u00e4t Dortmund, Fachbereich Informatik, Lehrstuhl VI."},{"key":"17_CR28","volume-title":"Tech. Report TR-003, ICOT","author":"E.Shapiro","year":"1983","unstructured":"E.Shapiro: A Subset of Concurrent Prolog and Its Interpreter. Tech. Report TR-003, ICOT (1983)"},{"key":"17_CR29","volume-title":"A Prolog-Technology Theorem Prover. in","author":"M Stickel","year":"1984","unstructured":"M. Stickel: A Prolog-Technology Theorem Prover. in: 1984 International Symposium on Logic Programming, Atlantic City"},{"key":"17_CR30","unstructured":"Stra 86] M. Stra\u00dfberger : Analyse von Datenflu\u00df- und Typangaben in Prolog-Programmen."},{"key":"17_CR31","volume-title":"Fakult\u00e4t f\u00fcr Informatik","author":"Diplomarbeit","year":"1986","unstructured":"Diplomarbeit, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, (1986)"},{"key":"17_CR32","volume-title":"Unifizierbare zweischichtige Grammatiken. Dissertation","author":"I.Varsek","year":"1984","unstructured":"I.Varsek: Unifizierbare zweischichtige Grammatiken. Dissertation, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik (1984)"},{"key":"17_CR33","first-page":"91","volume-title":"A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source te Source Transformation and Query- Optimisation. ECAI 84, Elsevier Se","author":"R Venken","year":"1984","unstructured":"R. Venken: A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source te Source Transformation and Query- Optimisation. ECAI 84, Elsevier Se. Publ., North-Holland (1984) 91\u2013104"},{"key":"17_CR34","volume-title":"Ein mehrsortiger Resolutionskalk\u00fcl mit Paramodulation. Interner Bericht 23\/84","author":"CH Walther","year":"1984","unstructured":"Ch. Walther: Ein mehrsortiger Resolutionskalk\u00fcl mit Paramodulation. Interner Bericht 23\/84 (1984), Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik"},{"key":"17_CR35","volume-title":"Almplementing Prolog \u2014 Compiling Predicate Logic Programs. Vol. 1-2 . D.A.I. Research Report","author":"DHD Warren","year":"1977","unstructured":"D.H.D. Warren: Almplementing Prolog \u2014 Compiling Predicate Logic Programs. Vol. 1-2. D.A.I. Research Report No. 39, Dept. of Artificial Intelligence, Univ. of. Edinburgh (1977)"},{"key":"17_CR36","volume-title":"SRI Technical Note","author":"DHD Warren","year":"1983","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set. SRI Technical Note 309, SRI International, ( October 1983 )"},{"key":"17_CR37","volume-title":"Datenflu\u00df-Klassifizierung definiter Klauseln zur Erzeugung von Constraints. Diplomarbeit","author":"H Weber","year":"1985","unstructured":"H. Weber: Datenflu\u00df-Klassifizierung definiter Klauseln zur Erzeugung von Constraints. Diplomarbeit, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik (1985)."}],"container-title":["Informatik-Fachberichte","Informatik-Anwendungen \u2014 Trends und Perspektiven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71388-0_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T09:44:22Z","timestamp":1713087862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71388-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168133","9783642713880"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71388-0_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}