logo
Predmet

Логические языки

Логические языки программирования (ЛИСП, ПРОЛОГ и другие) представляют собой отдельную линию развития. Их используют при теоретическом исследовании алгоритмов, в работах по созданию искусственного интеллекта, в операциях с базами данных и в сложных системах автоматического управления.

Программа на логическом языке программирования представляет собой набор данных и логических правил. Иногда ее можно рассматривать как единое сложное логическое образование.

Работа программы состоит в выполнении формальных логических преобразований и получении всех возможных выводов. Эту операцию можно рассматривать как «упрощение» исходного сложного логического выражения.