暂无介绍
Prolog是一种基于逻辑的计算机编程语言。大多数计算机语言都基于解决问题所需的步骤。另一方面,Prolog语言是一种“声明性”语言,它表示实体之间的逻辑关系。解决这个问题的办法留给了计算机。Prolog这个名字来自法语programation en LOGique,即编程逻辑。...