包含prolog求解爱因斯坦的超级问题的实验报告、源代码及试验运行截图
1