Логическое программирование для начинающих. Prolog

"Эта работа является моим рефератом по курсу «Логическое программирование», которое я изучал в МАИ" - цитата из начала статьи.