Abstract
The PROTOS-L system is an outcome of a research effort within the EUREKA Project PROTOS (Logic Programming Tools for Building Expert Systems, EU 56) aimed at overcoming some of the shortcomings of Prolog. It consists of a logic programming language including various advanced features together with a state-of-the-art implementation approach based on an abstract machine.
References
C. Beierle. An overview on planning applications in PROTOS-L. In Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991. (to appear).
C. Beierle. Types, modules and databases in the logic programming language PROTOS-L. In K. H. Bläsius, U. Hedtstück, and C.-R. Rollinger, editors, Sorts and Types for Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, New York, 1990.
C. Beierle, S. Böttcher, and G. Meyer. Draft Report of the Logic Programming Language PROTOS-L. IWBS Report, IBM Germany, Scientific Center, Inst. for Knowledge Based Systems, Stuttgart, 1991.
C. Beierle, G. Meyer, and H. Semle. Extending the Warren Abstract Machine to polymorphic ordersorted resolution. In V. Saraswat and K. Uedo, editors, Logic Programming: Proceedings of the 1991 International Symposium, MIT Press, San Diego, October 1991. (to appear).
H. Jasper. A logic-based programming environment for interactive applications. In Proc. Human Computer Interaction International, Stuttgart, 1991. (to appear).
G. Meyer. Rule Evaluation on Databases in the PROTOS-L System. Diplomarbeit Nr. 630, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, December 1989. (in German).
W. Nutt and G. Smolka. Implementing TEL. SEKI-Report, FB Informatik, Universität Kaiserslautern, 1991. (in preparation).
H. Semle. Extension of an Abstract Machine for Order-Sorted Prolog to Polymorphism. Diplomarbeit Nr. 583, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, April 1989. (in German).
G. Smolka. TEL (Version 0.9), Report and User Manual. SEKI-Report SR 87-17, FB Informatik, Universität Kaiserslautern, 1988.
D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Meyer, G., Semle, H. (1991). A brief description of the PROTOS-L system. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013547
Download citation
DOI: https://doi.org/10.1007/BFb0013547
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55033-4
Online ISBN: 978-3-540-46667-3
eBook Packages: Springer Book Archive