{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:35:21Z","timestamp":1743050121158,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540518389"},{"type":"electronic","value":"9783642751820"}],"license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75182-0_37","type":"book-chapter","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T04:49:27Z","timestamp":1323146967000},"page":"388-400","source":"Crossref","is-referenced-by-count":3,"title":["PROTOS-L: Towards a Knowledge Base Programming Language"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Stefan","family":"B\u00f6ttcher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","first-page":"155","volume-title":"Proceedings GI-Kongre\u00df Wissensbasierte Systeme","author":"H-J Appelrath","year":"1987","unstructured":"H.-J. Appelrath. Das EUREKA-Projekt PROTOS. In W. Brauel and W. Wahlster, editors, Proceedings GI-Kongre\u00df Wissensbasierte Systeme, pages 1\u201311, Springer-Verlag, Informatik- Fachberichte 155, 1987."},{"key":"37_CR2","volume-title":"Proc. First PROTOS Workshop","author":"S B\u00f6ttcher","year":"1988","unstructured":"S. B\u00f6ttcher. The architecture of the PROTOS-L system. In H.-J. Appelrath, A. B. Cremers, and H. Schiltknecht, editors, Proc. First PROTOS Workshop, Morcote, Switzerland, 1988."},{"key":"37_CR3","volume-title":"Data base support for the PROTOS-L system","author":"S B\u00f6ttcher","year":"1989","unstructured":"S. B\u00f6ttcher and C. Beierle. Data base support for the PROTOS-L system. In Proceedings EUROMICRO-89, North Holland, 1989."},{"volume-title":"Functional and Logic Programming","year":"1986","key":"37_CR4","unstructured":"Douglas DeGroot and Gary Lindstrom, editors. Functional and Logic Programming. Prentice Hall, 1986."},{"key":"37_CR5","volume-title":"A polymorphic type system with subtypes for Prolog","author":"R Dietrich","year":"1988","unstructured":"R. Dietrich and F. Hagl. A polymorphic type system with subtypes for Prolog. In Proceedings of the 2nd European Symposium on Programming, pages 79\u201393, volume 300 of Lectures Notes in Computer Science, Springer-Verlag, Berlin, Heidelberg, New York, 1988."},{"key":"37_CR6","volume-title":"Draft Report on the Database Programming Language","author":"H Eckhardt","year":"1985","unstructured":"H. Eckhardt, J. Edelmann, J. Koch, M. Mall, and J. W. Schmidt. Draft Report on the Database Programming Language DBPL. DBPL-Memo 091-85, Univ. Frankfurt, 1985."},{"key":"37_CR7","volume-title":"Principles of OBJ2","author":"K Futatsugi","year":"1985","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In B. Reid, editor, Proceedings of 12th ACM Conference on Principles of Programming Languages, pages 52\u201366, ACM, 1985."},{"key":"37_CR8","volume-title":"Logisches Clustering von PROTOS-L Prozeduren","author":"C Garidis","year":"1988","unstructured":"C. Garidis. Logisches Clustering von PROTOS-L Prozeduren. PROTOS Document B. 4, IBM Germany, Stuttgart, 1988."},{"key":"37_CR9","volume-title":"Functional and Logic Programming","author":"JA Joseph","year":"1986","unstructured":"Joseph A. Goguen and Jose Meseguer. Eqlog: equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Functional and Logic Programming, pages 295\u2013363, Prentice Hall, 1986."},{"key":"37_CR10","volume-title":"Horn Clause Specifications with polymorphic types","author":"M Hanus","year":"1988","unstructured":"M. Hanus. Horn Clause Specifications with polymorphic types. PhD thesis, FB Informatik, Universit\u00e4t Dortmund, 1988."},{"key":"37_CR11","volume-title":"Horn clause programs with polymorphic types","author":"M Hanus","year":"1989","unstructured":"M. Hanus. Horn clause programs with polymorphic types. In Proceedings TAPSOFT\u201989, Springer-Verlag, 1989."},{"key":"37_CR12","volume-title":"Standard ML","author":"R Harper","year":"1986","unstructured":"R. Harper, D. MacQueen, and R. Milner. Standard ML. Report ECS-LFCS-86-2, Dep. of Computer Science, Univ. of Edinburgh, 1986."},{"key":"37_CR13","volume-title":"Extended Prolog for order-sorted resolution","author":"M Huber","year":"1987","unstructured":"M. Huber and I. Varsek. Extended Prolog for order-sorted resolution. In Proceedings of the 4th IEEE Symposium on Logic Programming, pages 34\u201345, San Francisco, 1987."},{"key":"37_CR14","volume-title":"Data constructors: On the integration of rules and relations","author":"M Jarke","year":"1985","unstructured":"M. Jarke, V. Linnemann, and J. W. Schmidt. Data constructors: On the integration of rules and relations. In Proceedings of the 11th International Conference on Very Large Data Bases, Stockholm, 1985."},{"key":"37_CR15","volume-title":"Entwurf und Implementierung einer abstrakten Maschine f\u00fcr ordnungsortierte Logikprogramme","author":"B M\u00fcller","year":"1988","unstructured":"B. M\u00fcller. Entwurf und Implementierung einer abstrakten Maschine f\u00fcr ordnungsortierte Logikprogramme. Studienarbeit Nr. 711, Universit\u00e4t Stuttgart und IBM Deutschland GmbH, Stuttgart, October 1988."},{"key":"37_CR16","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 and R. A. O\u2019Keefe. A polymorphic type system for Prolog. Artificial Intelligence, 23: 295\u2013307, 1984.","journal-title":"Artificial Intelligence"},{"volume-title":"On Knowledge Base Management Systems","year":"1986","key":"37_CR17","unstructured":"J. Mylopoulos and M. L. Brodie, editors. On Knowledge Base Management Systems. Springer-Verlag, Berlin, Heidelberg, New York, 1986."},{"key":"37_CR18","volume-title":"DBPL Report","author":"JW Schmidt","year":"1988","unstructured":"J. W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. DBPL-Memo 111-88, Univ. Frankfurt, 1988."},{"key":"37_CR19","volume-title":"Erweiterung einer abstrakten Maschine f\u00fcr Ordnungssortiertes Prolog um die Behandlung polymorpher Sorten","author":"H Semle","year":"1989","unstructured":"H. Semle. Erweiterung einer abstrakten Maschine f\u00fcr Ordnungssortiertes Prolog um die Behandlung polymorpher Sorten. Diplomarbeit Nr. 583, Universit\u00e4t Stuttgart und IBM Deutschland GmbH, Stuttgart, April 1989."},{"key":"37_CR20","volume-title":"Algebraic and Logic Programming","author":"G Smolka","year":"1988","unstructured":"G. Smolka. Logic programming with polymorphically order-sorted types. In J. Grabowski, P. Lescanne, and W. Wechler, editors, Algebraic and Logic Programming, Akademie-Verlag, Berlin, 1988."},{"key":"37_CR21","volume-title":"TEL (Version 0.9), Report and User Manual","author":"G Smolka","year":"1988","unstructured":"G. Smolka. TEL (Version 0.9), Report and User Manual SEKI-Report SR 87-17, FB Informatik, Universit\u00e4t Kaiserslautern, 1988."},{"key":"37_CR22","volume-title":"Logic Programming over Polymorphically Order-Sorted Types","author":"G Smolka","year":"1989","unstructured":"G. Smolka. Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, FB Informatik, Univ. Kaiserslautern, 1989."},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"Y. Vassiliou. Integrating database management and expert, systems. In Proceedings BTW- 85, Informatik-Fachberichte, Springer-Verlag, Berlin, Heidelberg, New York, 1985.","DOI":"10.1007\/978-3-642-70284-6_12"},{"key":"37_CR24","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0004-3702(85)90029-3","volume":"26","author":"C Walther","year":"1985","unstructured":"C. Walther. A mechanical solution of Schubert\u2019s steamroller by many-sorted resolution. Artificial Intelligence, 26: 217\u2013224, 1985.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"37_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/42267.45071","volume":"35","author":"C Walther","year":"1988","unstructured":"C. Walther. Many-sorted unification. Journal of the ACM, 35 (1): 1\u201317, January 1988.","journal-title":"Journal of the ACM"},{"key":"37_CR26","volume-title":"An Abstract PROLOG Instruction Set","author":"D Warren","year":"1983","unstructured":"D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983."}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75182-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:56:00Z","timestamp":1676757360000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-75182-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540518389","9783642751820"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75182-0_37","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}