Майкл Дженесерет

Логическое программирование – это стиль программирования, в котором программы принимают форму наборов предложений на языке символической логики. В пос…