ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Логическое программирование является, пожалуй, наиболее впечатляющим примером применения идей и методов математической логики (точнее, одного из ее разделов - теории логического вывода) в программировании.
По миру распространяется огромное число лживых историй, и хуже всего то, что добрая половина из них – правда.
Уинстон Черчилль
