This is a preview of subscription content, log in via an institution to check access.
References
M. Hanus. Compiling Logic Programs with Equality. In Proc. of the 2nd Int. Workshop on Programming Language Implementation and Logic Programming, pp. 387–401. Springer LNCS 456, 1990.
M. Hanus. A Declarative Approach to Improve Control in Logic Programming. Univ. Dortmund, 1991.
M. Hanus. Efficient Implementation of Narrowing and Rewriting. In Proc. Int. Workshop on Processing Declarative Knowledge 1991. This volume.
M. Hanus and A. Schwab. ALF User's Manual. FB Informatik, Univ. Dortmund, 1991.
M. Hanus and A. Schwab. The Implementation of the Functional-Logic Language ALF. FB Informatik, Univ. Dortmund, 1991.
S. Hölldobler. From Paramodulation to Narrowing. In Proc. 5th Conference on Logic Programming 416-01 5th Symposium on Logic Programming (Seattle), pp. 327–342, 1988.
D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Stanford, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hanus, M. (1991). The ALF system: An efficient implementation of a functional logic language. 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/BFb0013551
Download citation
DOI: https://doi.org/10.1007/BFb0013551
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