LISP 1.5 Extension of
Prolog Influence

LOGIC, embedded in LISP

SUPER 1 Evolution of
1