|
|
![]()
Логическое
программирование
|
С
момента своего появления компьютерная техника была очень далека от
понимания неподготовленным человеком, ведь она "живет" по своим,
компьютерным, законам, выполняет наборы команд, которые без
прочтения инструкций трудно понять. Хотя по основным принципам своей
работы компьютер довольно примитивен.
Через довольно малый промежуток времени компьютеры сильно
изменились, стали доступны каждому, обрели удобные интерфейсы
управления и программирования. И хоть сейчас никто уже не использует
перфокарты, а языки программирования очень понятны, но это до сиг пор
адаптация под машинный язык.
Попыткой максимально приблизить программирование к
человеческому языку стало создание Prolog. Этот язык основан на
декларативном стиле программирования, когда не нужно описывать всех
возможных вариантов работы программы, а надо лишь описать набор
логических правил предметной области. В основе этого стиля
программирования лежит формализированная логика человека.
В курсе лабораторных работ рассматриваются приемы решения стандартных задач средствами языка Prolog.
материалы
|
|
|
