Рассмотрены вопросы логического программирования при помощи Turbo-Prolog 2.0, Python 3.0, MS Excel 2013, Deductor Academic.