猴子摘香蕉实验报告

实验1：猴子摘香蕉问题的VC编程实现一、实验目的利用一阶谓词逻辑求解猴子摘香蕉问题并通过编程来实现二、编程环境本文主要编译环境是Windows10Visual Studio 2015 在Ubuntu