Visual Prolog 的 Web 专家系统 (6)

简介:

保存用户响应询价。作为进一步推理的条件

或GOAL段开始。最初的一句是write_startform()

write_startform():-
        write("<form action=\"\cgi-bin\geni.exe\"method=\"post\">\n").

注意!上一句应为write("<form action=\"geni.exe\"method=\"post\">\n").

GENI虚拟主机没有“cgi-bin”这个子文件夹。

在GOAL中,紧跟上一句的是assert_conditions(ParmList1)

  assert_conditions([]):-!.
  assert_conditions([parm(Name,Val)|Rest]):-
	concat("cond_",CondNumberStr,Name),
	str_int(CondNumberStr,COND),
               !,
	assert_cond(COND,Val),
	assert_conditions(Rest).
  assert_conditions([_Parm|Rest]):-!,
	assert_conditions(Rest).
  assert_conditions(_):-
	errorexit.

Prolog没有C语言的for,while等处理循环的机制。

本例,Prolog是用递归来实现“循环”。

谓词assert_conditions的4个子句,表现了典型的、标准的递归应用。

子句1,设置递归终止条件。
终止条件是要处理的列表为空。

子句2,处理列表头,即列表第1个成员。

子句3。忽略要处理的列表头,继续处理剩余表尾。

子句4,准备出错后的处理。


子句4运行的前提条件是:

1、子句1头部匹配不成功,或者。“截断”! 之前的语句失败。
2、而且,子句2头部匹配不成功。

详细是哪个语句失败,以及失败的原因。待以下分析。

子句2和子句3,末尾的语句都是自身的递归调用。
这就是尾递归。


尾递归的优点。是能够无限递归下去,不会耗尽内存。

看看子句1中的语句吧。

concat("cond_",CondNumberStr,Name)

它是内建谓词,流模式是(i, i, o), (o, i, i), (i, o, i), (i, i, i) 
用于连接2个字符串

本例的流模式是 (i, o, i)。从变量名上看,CondNumberStr应该是数字

所以。若Name="cond_3" ,则CondNumberStr=3

这时,能够试试上一节的小伎俩:

在VDE中。菜单File|New,出现一空白文件noname.pro。写入:

goal
concat("cond_",A,"cond_1").

菜单Project|Test Goal。目标编译运行。结果:

A=1
1 Solution

再看下一条语句

str_int(CondNumberStr,COND)

这是个内建谓词:str_int (STRING StringArg, INTEGER IntArg)
流模式是(i, o), (o, i), (i, i) 
用于字符串与整数的相互转换
建议用上述小伎俩试一试

这一句之后,便是截断"!"。由此可见,引起子句2回溯到子句3的条件是:

1、变量Name不是以“Cond_”开头的字符串,或者,
2、变量CondNumberStr不是数字字符串。

这一回溯引起子句3的运行,结果是忽略当前处理对象,開始新的递归,
处理列表中的后序对象。

继续往下看:

assert_cond(COND,Val)

  assert_cond(CNO,"yes"):-!,assert(yes(CNO)).
  assert_cond(CNO,"no"):-!,assert(no(CNO)).
  assert_cond(_CNO,"why"):-!,assert(whymeet).
  assert_cond(_,_):-errorexit.

CNO是知识库里“条件”的标识号

yes(CNO),no(CNO),保存在事实库tmp里。

意思是:对第CNO号条件,回答了yes/no

whymeet,也是保存在事实库tmp里,

意思是:用户要求系统答复。为什么询问这一问题。

最后一句,assert_conditions(Rest).

递归处理列表的尾巴Rest。

今天的重点是尾递归,也是Prolog一个主要特征。

版权声明:本文博客原创文章。博客,未经同意,不得转载。




本文转自mfrbuaa博客园博客,原文链接:http://www.cnblogs.com/mfrbuaa/p/4656415.html,如需转载请自行联系原作者


相关文章
|
2月前
|
SQL 分布式计算 Hadoop
Azkaban【基础 01】核心概念+特点+Web界面+架构+Job类型(一篇即可入门Azkaban工作流调度系统)
【2月更文挑战第6天】Azkaban【基础 01】核心概念+特点+Web界面+架构+Job类型(一篇即可入门Azkaban工作流调度系统)
82 0
|
1月前
|
SQL 存储 数据库
基于Web技术的在线考试系统的设计与实现(论文+源码)_kaic
基于Web技术的在线考试系统的设计与实现(论文+源码)_kaic
|
3月前
|
存储 关系型数据库 MySQL
失物招领|基于Web的校园失物招领系统的设计与实现(一)
失物招领|基于Web的校园失物招领系统的设计与实现
156 0
|
17天前
|
资源调度 JavaScript 安全
Linux系统之部署web-check网站分析工具
【4月更文挑战第3天】Linux系统之部署web-check网站分析工具
64 9
|
20天前
|
Java
销售业务管理系统【Web系统】(Java课设)
销售业务管理系统【Web系统】(Java课设)
13 5
|
1月前
|
存储 安全 Java
274基于web的电影院购票系统
274基于web的电影院购票系统
|
1月前
|
存储 安全 Java
基于web的电影院购票系统
基于web的电影院购票系统
|
1月前
|
搜索推荐 Java 数据库
springboot基于Web的社区医院管理服务系统
springboot基于Web的社区医院管理服务系统
|
1月前
|
Java 关系型数据库 MySQL
基于Web的停车场管理系统的设计与实现(论文+源码)_kaic
基于Web的停车场管理系统的设计与实现(论文+源码)_kaic
|
2月前
|
前端开发 JavaScript Java
利用Java Web技术实现实时通信系统的案例分析
利用Java Web技术实现实时通信系统的案例分析

热门文章

最新文章