Transforming horn clauses for forward reasoning

  • Knut Hinkelmann
  • Martin Harm
  • Thomas Labisch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 567)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bol90]
    Boley H. A Relational/Functional Language and its Compilation into the WAM, SEKI Report SR-90-05, University of Kaiserslautern, 1990.Google Scholar
  2. [Bol91]
    Boley, H., Hanschke, P., Hinkelmann, K., and Meyer, M. COLAB: A Hybrid Knowledge Compilation Laboratory. 3rd International Workshop on Data, Expert Knowledge and Decisions: Using Knowledge to Transform Data into Information for Decision Support, Schloß Reisensburg, Günzburg, Germany, 1991, forthcoming.Google Scholar
  3. [Cha87]
    Chan, D., Dufresne, P., and Enders, R. Report on PHOCUS. Technical Report TR-LP-21-02, ECRC, Arabellastraße 17 D8 München 81, April, 1987.Google Scholar
  4. [Fin89]
    Finin, T., Fritzson, R., and Matuszek, D. Adding Forward Chaining and Truth Maintenance to Prolog. In Artificial Intelligence Applications Conference, IEEE, Miami, March 1989, pp. 123–130.Google Scholar
  5. [For82]
    Forgy, C.L. Rete: A Fast Algorithm for the Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence 19(1982), pp. 17–37.CrossRefGoogle Scholar
  6. [Hin91]
    Hinkelmann, K. Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation. Technical Memo TM-91-02, DFKI GmbH, January, 1991.Google Scholar
  7. [Mor81]
    Morris, P. A Forward Chaining Problem Solver. Logic Programming Newsletter 2(Autumn 1981), pp. 6–7.Google Scholar
  8. [War83]
    Warren, D.H.D. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October, 1983.Google Scholar
  9. [Yam86]
    Yamamoto, A. and Tanaka, H. Translating Production Rules into a Forward Reasoning Prolog Program. New Generation Computing 4(1986), pp. 97–105.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Knut Hinkelmann
    • 1
  • Martin Harm
    • 1
  • Thomas Labisch
    • 1
  1. 1.Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbHKaiserslautern

Personalised recommendations