迷宫问题的两种解法,AStar算法和谓词逻辑,包含实验报告和源代码。IDE使用NetBeans8.1。