Лоґічне проґрамованя

Матеріал з Вікіпедії
Перейти до: навіґація, Найти

Лоґічне проґрамованя є в шыршім значіню хоснованя математічной лоґікы як средства про проґрамованя. Ёго початкы можеме выстоповати аж ку пропозіції Джона МкКартса advice taker (порадца) [1958]. У тій пропозіції служыть лоґіка про чісто декларатівну репрезентацію языка і доказователь вет (theorem-prover) або ґенератор моделів (model-generator) ся хоснує як рїшытель проблемів (problem-solver). Рїшіня проблемів ся так дїлить міджі проґраматора (ґарантує правилность проґраму в лоґічній формі) і доказователь вет або ґенератор моделів (одповідать за ефектівне рїшіня проблему).