Smalltalk -> proper OOP Lisp -> pragmatic functional programming Prolog -> logic programming In some aspects, these are better than mainstream languages bu

Smalltalk -> proper OOP Lisp -> pragmatic functional programming Prolog -> logic programming In some aspects, these are better than mainstream languages but for various reasons failed to get popularity.