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