Intelligence artificielle, Turbo Prolog, le LISP — Marianne Belis