Логическое программирование

       

ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ


Логическое программирование является, пожалуй, наиболее впечатляющим примером применения идей и методов математической логики (точнее, одного из ее разделов - теории логического вывода) в программировании.

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

Уинстон Черчилль



Содержание раздела