Eine Rückwärtsverkettung bezeichnet in der Logik eine Inferenz- bzw. Schlussfolgerungs-Strategie der Form: wenn Bedingung, dann Faktum Mehr lesen