人工智能(蔡自兴)实验2事实表示

实验2 Prolog程序事实表示Visual Prolog是面向对象的、严格类型化的和模式检验的程序设计语言。在编写Visual Prolog程序时，必须掌握这些内容，但是在这里将集中在编写代码这个