Войти
В обычном компьютерном программировании программист запоминает предполагаемые результаты программы и кропотливо создает компьютерную программу для достижения этих результатов. Логическое программирование относится к методам и технологиям (все еще в основном гипотетическим), допускающим обратное. Логическое программирование позволило бы программисту описать намеченный результат компьютеру, используя метафору, такую как функция пригодности, тестовая спецификация или логическая спецификация, а затем компьютер построил бы свою собственную программу, чтобы соответствовать предоставленной критерии.
В 80-е годы подходы к программированию логического вывода в основном касались методов логического вывода. Сегодня этот термин иногда используется в связи с методами эволюционных вычислений, которые позволяют компьютеру вырабатывать решение в ответ на проблему, выдаваемую за функцию приспособленности или вознаграждения.
