Zusammenfassung
In der Beschreibung des Deduktionszyklus von FHCL im vorigen Abschnitt wurde bereits erwähnt, daß durch die Verwendung der Hornklausellogik im kombinierten System FHCL zu erwarten ist, daß im Suchbaum des HCL-Interpreters viele ODER-Verzweigungen vorkommen. Der Aufbau des FHCL-Systems wurde derart vorgenommen, daß ein breadth-first-Durchlaufen des Suchbaumes unterstützt wird. Wichtig war auch, daß der “random-Modus”, in dem der Suchbaum auf nichtdeterministische Weise durchlaufen wird, ermöglicht wird.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1991 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Furbach, U. (1991). Parallelisierung von HCL. In: Logische und Funktionale Programmierung. Artificial Intelligence / Künstliche Intelligenz. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-91096-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-91096-7_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05127-3
Online ISBN: 978-3-322-91096-7
eBook Packages: Springer Book Archive