Computer Based Marketing: Das Handbuch zur Marketinginformatik – herausgegeben 2013 von Matthias Meyer, Hajo Hippner und Klaus D. Wilde; dort (auf Seite 323) auch mit: „… bestehen aus einer Schlußfolgerungsmaschine (Regelinterpreter), […]. Neben der Prädikatenlogik, die den formalen Apparat zum Verständnis der Zusammenhänge sowie die erforderlichen Lösungsmethoden liefert, existieren […]“