• Języki przetwarzania symbolicznego (Al,logika)
- języki manipulowania tekstami (SNOBOL)
- LISP —języki funkcyjne (Schema, ML, Haskell)
- Prolog — programowanie logiczne
• Języki sterowania systemami czasu rzeczywistego
• Języki projektowania systemów współbieżnych
Wstęp do programowania, M.A.B 2004