@benjamin fyi, IMHO ist logische Programmierung
== KI, aber davon habe ich keine Ahnung, weil im Studium war das nur Vertiefung.