Inductive Logic Problem Solver

一个旨在通过提供逐步推理和解决方案来帮助用户解决归纳逻辑问题的人工智能工具。