Rückwärtsverkettung

==> Regelbasis

<== Vorwärtsverkettung

<=> Regel

<== Programmiersprachen

<== Prolog

<== Abduktion

<== Expertensystem

<== Diagnosesystem

<== Erklärung

==> Ableitung