Программирование в Логике. Чанышев О.Г.