{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:22Z","timestamp":1725627622802},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168089"},{"type":"electronic","value":"9783642713859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71385-9_30","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:20:41Z","timestamp":1320229241000},"page":"301-311","source":"Crossref","is-referenced-by-count":0,"title":["Controlled Prolog"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Rose","sequence":"first","affiliation":[]},{"given":"Hans-J\u00fcrgen","family":"Appelrath","sequence":"additional","affiliation":[]},{"given":"Hermann","family":"Bense","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"K.A. Bowen, R.A. Kowalski Amalgamating Language and Meta-Language in Logic Programming in [CM]"},{"key":"30_CR2","unstructured":"M.Bruynooghe, L.M. Pereira Deduction Revision By Intelligent Backtracking in [Camp], pp.194\u2013215"},{"key":"30_CR3","unstructured":"J.A. Campbell (Eds.) Implementations of Prolog Ellis Horwood, 1984"},{"key":"30_CR4","volume-title":"Kahn LM-Prolog User Manual UPMAIL Technical Report","author":"M Carlsson","year":"1983","unstructured":"M. Carlsson, K.M. Kahn LM-Prolog User Manual UPMAIL Technical Report 24, Computer Science Department, Uppsala University 1983"},{"key":"30_CR5","volume-title":"A.M","author":"JH Chang","year":"1985","unstructured":"J.H. Chang, A.M. Despain Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis Proceedings of the Symposium on Logic Programming, Boston, 1985"},{"key":"30_CR6","unstructured":"K.L Clark, F.G. McCabe, S. Gregory IC-Prolog Language Features in [C1T\u00e4], pp. 253\u2013266"},{"key":"30_CR7","volume-title":"Berlin Heidelberg New York Tokyo,2nd edition","author":"WF Clocksin","year":"1984","unstructured":"W.F. Clocksin, C.S. Mellish Programming in Prolog Springer-Verlag, Berlin Heidelberg New York Tokyo,2nd edition, 1984"},{"key":"30_CR8","volume-title":"Logic Programming Academic Press","author":"KL Clark","year":"1982","unstructured":"K.L. Clark, S-A. T\u00e4rnlund (Eds.) Logic Programming Academic Press, 1982"},{"key":"30_CR9","volume-title":"Faculte des Sciences de Luminy","author":"A Colmerauer","year":"1982","unstructured":"A. Colmerauer Prolog-II: manuel de reference et modele theorique GIA, Faculte des Sciences de Luminy, 1982"},{"key":"30_CR10","unstructured":"P.T. Cox Finding Backtrack Points for Intelligent Backtracking in [Camp], pp.216\u2013233"},{"key":"30_CR11","volume-title":"Grenoble","author":"PC Criss","year":"1984","unstructured":"Criss PROLOG CRISS: Version 4 - Manuel de reference CRISS, Grenoble, 1984"},{"key":"30_CR12","unstructured":"M. Dincbas, J.-P. Lepape Metacontrol of Logic Programs in METALOG Proceedings of the International Conference of 5th Generation Computer Systems, 1984, pp.361\u2013370"},{"key":"30_CR13","volume-title":"University of Dortmund","author":"J Eisermann","year":"1984","unstructured":"J. Eisermann Entwurf und Implementierung eines Zugriffssystems f\u00fcr die Verwaltung von Prolog-Programen in relationalen Datenbanken Diploma Thesis, Dept. of Computer Science, University of Dortmund, 1984"},{"key":"30_CR14","unstructured":"H. Gallaire, C. Lasserre Metalevel Control for Logic Programs in [C1T\u00e4], pp. 173\u2013188"},{"issue":"2","key":"30_CR15","first-page":"159","volume":"2","author":"S Ginsburg","year":"1968","unstructured":"S. Ginsburg Control Sets on Grammars Mathematical Systems Theory, Vol. 2, No. 2, 1968, pp. 159\u2013177","journal-title":"Vol"},{"key":"30_CR16","first-page":"424","volume":"7","author":"RK Algorithm","year":"1979","unstructured":"R. Kowalski Algorithm = Logic + Control Communications of the ACM, Vol.22, No. 7, 1979, pp. 424\u2013436","journal-title":"Vol.22"},{"key":"30_CR17","volume-title":"University of Melbourne","author":"L Naish","year":"1984","unstructured":"L. Naish Prolog Control Rules Technical Report 84\/13, Department of Computer Science, University of Melbourne, 1984"},{"key":"30_CR18","unstructured":"L.M. Pereira, A. Porto Selective Backtracking in [C1T\u00e4]"},{"key":"30_CR19","unstructured":"L.M. Pereira Logic Control with Logic in [Camp], pp.177\u2013193"},{"key":"30_CR20","volume-title":"University of Dortmund","author":"T Rose","year":"1984","unstructured":"T. Rose Entwurf und Implementierung eines Prolog-Interpreters und eines Meta-Systems zur Integration von Kontroll-Wissen Diploma Thesis, Dept. of Computer Science, University of Dortmund, 1984"},{"key":"30_CR21","first-page":"110","volume-title":"Walsh On the Requirements of Future Expert Systems Proceedings of the IJCAI 1983","author":"R Sauers","year":"1983","unstructured":"R. Sauers, R. Walsh On the Requirements of Future Expert Systems Proceedings of the IJCAI 1983, Karlsruhe, FRG, pp. 110\u2013115"}],"container-title":["Informatik-Fachberichte","GWAI-86 und 2. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71385-9_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:12:16Z","timestamp":1606259536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71385-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168089","9783642713859"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71385-9_30","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}