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

Логические языки программирования, такие как Prolog, Mandala и другие, смотрят на результат программы как на некоторое утверждение, которое надо вывести из исходных данных. Программа рассматривается как доказательство этого утверждения. Доказательство проводится по правилам математической логики, откуда и взято название этой группы языков.program_languages

В программе, написанной на логическом языке, вообще нет действий. В ней задаются исходные данные как аксиомы и правила вывода истинных утверждений из этих аксиом. Программа по этим правилам проводит логические рассуждения и делает выводы, приводящие к нужному результату.

При этом для ускорения и упрощения работы программа использует накопленную ранее базу данных, содержащую уже сделанные логические выводы.

Логические языки программирования наиболее удобны для решения задач искусственного интеллекта, медицинской диагностики, машинного перевода – везде, где нужно делать логические заключения. Они применяются и для составления сложных расписаний, «добычи знаний» из больших баз данных, прогнозирования в экономике и т. п.

Языки низкого и высокого уровня



Rambler's Top100