Advertisement

The ALF system: An efficient implementation of a functional logic language

  • Michael Hanus
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 567)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    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.Google Scholar
  2. [2]
    M. Hanus. A Declarative Approach to Improve Control in Logic Programming. Univ. Dortmund, 1991.Google Scholar
  3. [3]
    M. Hanus. Efficient Implementation of Narrowing and Rewriting. In Proc. Int. Workshop on Processing Declarative Knowledge 1991. This volume.Google Scholar
  4. [4]
    M. Hanus and A. Schwab. ALF User's Manual. FB Informatik, Univ. Dortmund, 1991.Google Scholar
  5. [5]
    M. Hanus and A. Schwab. The Implementation of the Functional-Logic Language ALF. FB Informatik, Univ. Dortmund, 1991.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Stanford, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Michael Hanus
    • 1
  1. 1.Technische FakultätUniversität BielefeldBielefeld 1Germany

Personalised recommendations