Demontage und Montage von Wolframs Prologen im Prolog zum