1989 | OriginalPaper | Buchkapitel
Efficient Computation
verfasst von : Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
Erschienen in: Prolog Versus You
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
A definition may be expressed so that there are alternative evaluation possibilities reached by backtracking. We can sometimes conclude in advance that an alternative evaluation will not succeed. If we can control the search so that these fruitless alternatives are never tried, we will achieve a more efficient evaluation.