Transforming horn clauses for forward reasoning | SpringerLink
Skip to main content
Springer Nature Link
Log in

Transforming horn clauses for forward reasoning

  • Conference paper
  • First Online:
Processing Declarative Knowledge (PDK 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 567))

Included in the following conference series:

  • 202 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Bibliography

  1. Boley H. A Relational/Functional Language and its Compilation into the WAM, SEKI Report SR-90-05, University of Kaiserslautern, 1990.

    Google Scholar 

  2. 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. 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. 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. Forgy, C.L. Rete: A Fast Algorithm for the Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence 19(1982), pp. 17–37.

    Article  Google Scholar 

  6. Hinkelmann, K. Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation. Technical Memo TM-91-02, DFKI GmbH, January, 1991.

    Google Scholar 

  7. Morris, P. A Forward Chaining Problem Solver. Logic Programming Newsletter 2(Autumn 1981), pp. 6–7.

    Google Scholar 

  8. Warren, D.H.D. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October, 1983.

    Google Scholar 

  9. Yamamoto, A. and Tanaka, H. Translating Production Rules into a Forward Reasoning Prolog Program. New Generation Computing 4(1986), pp. 97–105.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH, Postfach 2080, 6750, Kaiserslautern

    Knut Hinkelmann, Martin Harm & Thomas Labisch

Authors
  1. Knut Hinkelmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Harm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Labisch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Harold Boley Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hinkelmann, K., Harm, M., Labisch, T. (1991). Transforming horn clauses for forward reasoning. 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/BFb0013552

Download citation

  • DOI: https://doi.org/10.1007/BFb0013552

  • 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

Publish with us

Policies and ethics

Search

Navigation