Висвітлено основи логічного та функціонального програмування, найефективніші методи й алгоритми побудови програм мовою логіки і в термінах функціоналів. Охарактеризовано принципи реалізації найчастіше вживаних логічних і функційних прикладних програм. Проаналізовано синтаксичні особливості мови Пролог, особливості роботи у Турбо-Пролозі. Описано механізм повернення та відсічки у логічному програмуванні. Запропоновано класифікацію функцій вищих порядків. Розглянуто сучасні технології функціонального програмування, засоби їх реалізації. Наведено метод параметрів нагромадження, охарактеризовано мову програмування AUTO-LISP.

Освещены основы логического и функционального программирования, наиболее эффективные методы и алгоритмы построения программ на языке логики и в терминах функционалов. Охарактеризованы принципы реализации наиболее распространенных логических и функциональных прикладных программ. Проанализированы синтаксические особенности языка Пролог, особенности работы в Турбо-Прологе. Описан механизм возвращения и отсечки в логическом программировании. Предложена классификация функций высших порядков. Рассмотрены современные технологии функционального программирования, средства их реализации. Приведены метод параметров нагромождения, охарактеризован язык программирования AUTO-LISP.

• Заяць Віктор Мефодійович (економічні науки)
• Заяць Василь Михайлович (фізико-математичні науки)
• Заяць Марта Мирославівна (фармацевтичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"