В основе каких языков программирования лежат современные логические теории?
Язык Пролог
Язык Паскаль
Язык C#
Язык Haskell