"О возможностях использования инструментальной среды FORMULA для создания компьютерных программ, направленных на обучение учащихся решению логических задач" - читать интересную книгу автора (Дробышев Ю.А., Ерлыченко С.Н.)