előrefelé láncolás

Az előrefelé láncolás egy módszer a bizonyításra vagy a tudásbázis bővítésére. Arról van szó, hogy a tudásbázisunkban a kiinduláskor a rendelkezésünkre állnak bizonyos szabályok. Az előrefelé láncolás addig keres olyan szabályokat melyek feltétel része kielégül (és ezzel új tényadatot hozzáadva a tudásbázishoz), amíg a megfelelő bizonyítást meg nem találtuk, vagy ameddig tudunk ilyen szabályokat találni.