Report - Logik-Programmierung 2radar.zhaw.ch/~rege/psp_hs18/prolog.pdfAnsatz 1: Entwicklung von Heuristiken zur Klauselauswahl ... Die von Prolog durchgeführte Tiefensuche mit Backtracking

Please pass captcha verification before submit form