编辑下面代码;

male(di).
male(jianbo).
female(xin).
female(yuan).
female(yuqing).
father(jianbo,di).
father(di,yuqing).
mother(xin,di).
mother(yuan,yuqing).
grandfather(X,Y):-father(X,Z),father(Z,Y).
grandmother(X,Y):-mother(X,Z),father(Z,Y).
daughter(X,Y):-father(X,Y),female(Y).

存为father.pl;存到swi-prolog的bin目录下;据说此程序描述了 谁是谁的爸爸 的问题;我还不太了解它的语法;prolog程序的后缀名为pl;

进入swi-prolog;使用consult来编译保存的pl文件;出现下图提示,编译成功;

语法还不熟悉;prolog变量是大写字母开头;输入下图语句,然后;prolog告诉你,”yuqing”的祖父是”jianbo”;

有空继续学习它的语法和基本语句;如果能用这语言编一个故障诊断程序也是很棒的;

Prolog基本程序相关推荐

  1. 程序员的损失!Erlang 之父 Joe Armstrong 离世

    (给技术最前线加星标,每天看技术热点) 原创整理:技术最前线(id:TopITNews) 对于 Erlang 技术社区来说,这是一个难过的周末. 据 Francesco 的推特消息,Erlang 之父 ...

  2. 逻辑编程Prolog和回答集编程ASP

    Prolog And ASP 什么是ASP? 回答集编程(Answer Set Programming)ASP是一种声明式编程,主要用于复杂的搜索问题.它基于逻辑编程的稳定模型语义.在ASP中,搜索问 ...

  3. c语言实现逻辑谓词编程,头脑风暴-逻辑编程语言Prolog(01)

    Prolog语言介绍 Prolog的英语意思就是Programming in logic(逻辑编程).与几乎无所不能的C语言或是Python语言不同,Prolog不是一种通用语言,比如说它并不能够写出 ...

  4. Prolog教程 7

      到现在为止,我们已经对Prolog有了一个基本的了解,现在有必要对我们所学过的知识做一个系统的总结. Prolog的程序是由一系列的事实和规则组成的数据库. 规则之间的调用是通过联合操作完成的,P ...

  5. Prolog教程 9

    Prolog的程序就是谓词的数据库,我们通常把这些谓词的子句写入Prolog的程序中的.在运行Prolog时,解释器首先把所有的子句调入到内存中.所以这些写在程序中的子句都是固定不变的.那么有没有办法 ...

  6. Prolog教程 2

    探索Prolog Prolog在英语中的意思就是Programming in LOGic(逻辑编程).它是建立在逻辑学的理论基础之上的, 最初是运用于自然语言的研究领域.然而现在它被广泛的应用在人工智 ...

  7. AMZI! PROLOG白皮书

    一.Amzi! Prolog+ 逻辑服务器概述 Amzi!架构体系使用示例详细的说明,如何使用Amzi!逻辑服务器将Amzi! Prolog与传统的编程语言集成在一起. 二.规则.Prolog及Amz ...

  8. 编程精粹 --Microsoft编写优质无错C程序秘诀

    献给我的妻子Beth, 以及我的双亲Joseph和Julia Maguire ────为了他们的爱和支持 序 1986年,在为几家小公司咨询和工作了10年之后为了获得编写Macintosh应用程序的经 ...

  9. 十大应用在数学的计算机语言

    作为一位在计算机编程和数学两大领域都十分感兴趣的研究员,我希望借这篇文章和大家一起分享在数学研究当中,十大我最喜欢的编程语言. 我这么做是为了给其他研究者提供更多的选择,并提供更多建立模型的方法. 这 ...

最新文章

  1. python教程下载视频-python怎么下载视频
  2. linux java 共享内存_Linux进程间通信之共享内存
  3. centos6.5安装apache php,Centos66安装apache24
  4. leetcode python3 简单题69. Sqrt(x)
  5. oracle闪回scn,Oracle闪回查询及scn_to_timestamp
  6. centos7 Samba服务安装和配置
  7. LeetCode 中文刷题手册:LeetCode Cookbook下载
  8. 职业规划-IT方向(超详细,超具体)
  9. java 根据ftl文件生成word
  10. Microsoft SQL Server 2008 R2官方下载地址
  11. linux修改文件类型和权限
  12. html如何把素材做成按钮,html botton html submit按钮表单控件与CSS美化
  13. 小学奥数 7653 地球人口承载力估计 python
  14. Js基础引导(二)——语法
  15. 变量命名神器Codelf
  16. oracle 11g duplicate database基于备份复制数据库(二)
  17. 在电脑端下载google play上的app,将其下载成apk
  18. H5架设新手小白搭建教程(适用于新手)
  19. 抓包工具httpbuger的使用问题
  20. STM32驱动直流电机

热门文章

  1. 2011年最后一篇博客—就医感慨!
  2. 布隆过滤器、一致性哈希算法总结
  3. Java的知识点26——File_API
  4. 简单点亮发光二极管实例(位操作)
  5. 10.1 分别通过函数和重载运算符来实现复数相加
  6. matlab中读取txt数据文件(txt文本文档)
  7. Qt实现拖动一个lineEdit同时拖动mainwindow
  8. 常见b2c网站购物车的设计
  9. html 中embed标签使用
  10. Bootstrap模态框报错