Prolog基本程序
编辑下面代码;
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基本程序相关推荐
- 程序员的损失!Erlang 之父 Joe Armstrong 离世
(给技术最前线加星标,每天看技术热点) 原创整理:技术最前线(id:TopITNews) 对于 Erlang 技术社区来说,这是一个难过的周末. 据 Francesco 的推特消息,Erlang 之父 ...
- 逻辑编程Prolog和回答集编程ASP
Prolog And ASP 什么是ASP? 回答集编程(Answer Set Programming)ASP是一种声明式编程,主要用于复杂的搜索问题.它基于逻辑编程的稳定模型语义.在ASP中,搜索问 ...
- c语言实现逻辑谓词编程,头脑风暴-逻辑编程语言Prolog(01)
Prolog语言介绍 Prolog的英语意思就是Programming in logic(逻辑编程).与几乎无所不能的C语言或是Python语言不同,Prolog不是一种通用语言,比如说它并不能够写出 ...
- Prolog教程 7
到现在为止,我们已经对Prolog有了一个基本的了解,现在有必要对我们所学过的知识做一个系统的总结. Prolog的程序是由一系列的事实和规则组成的数据库. 规则之间的调用是通过联合操作完成的,P ...
- Prolog教程 9
Prolog的程序就是谓词的数据库,我们通常把这些谓词的子句写入Prolog的程序中的.在运行Prolog时,解释器首先把所有的子句调入到内存中.所以这些写在程序中的子句都是固定不变的.那么有没有办法 ...
- Prolog教程 2
探索Prolog Prolog在英语中的意思就是Programming in LOGic(逻辑编程).它是建立在逻辑学的理论基础之上的, 最初是运用于自然语言的研究领域.然而现在它被广泛的应用在人工智 ...
- AMZI! PROLOG白皮书
一.Amzi! Prolog+ 逻辑服务器概述 Amzi!架构体系使用示例详细的说明,如何使用Amzi!逻辑服务器将Amzi! Prolog与传统的编程语言集成在一起. 二.规则.Prolog及Amz ...
- 编程精粹 --Microsoft编写优质无错C程序秘诀
献给我的妻子Beth, 以及我的双亲Joseph和Julia Maguire ────为了他们的爱和支持 序 1986年,在为几家小公司咨询和工作了10年之后为了获得编写Macintosh应用程序的经 ...
- 十大应用在数学的计算机语言
作为一位在计算机编程和数学两大领域都十分感兴趣的研究员,我希望借这篇文章和大家一起分享在数学研究当中,十大我最喜欢的编程语言. 我这么做是为了给其他研究者提供更多的选择,并提供更多建立模型的方法. 这 ...
最新文章
- python教程下载视频-python怎么下载视频
- linux java 共享内存_Linux进程间通信之共享内存
- centos6.5安装apache php,Centos66安装apache24
- leetcode python3 简单题69. Sqrt(x)
- oracle闪回scn,Oracle闪回查询及scn_to_timestamp
- centos7 Samba服务安装和配置
- LeetCode 中文刷题手册:LeetCode Cookbook下载
- 职业规划-IT方向(超详细,超具体)
- java 根据ftl文件生成word
- Microsoft SQL Server 2008 R2官方下载地址
- linux修改文件类型和权限
- html如何把素材做成按钮,html botton html submit按钮表单控件与CSS美化
- 小学奥数 7653 地球人口承载力估计 python
- Js基础引导(二)——语法
- 变量命名神器Codelf
- oracle 11g duplicate database基于备份复制数据库(二)
- 在电脑端下载google play上的app,将其下载成apk
- H5架设新手小白搭建教程(适用于新手)
- 抓包工具httpbuger的使用问题
- STM32驱动直流电机