1B.2 Gödel语言实现系统研究现状

http://www.docin.com/p-92139363.html          逻辑程序用逻辑语言来描述问题,利用归结方法来求得问题的答案。可以把逻辑程序非形式化地概括为:Algorithm=Logic+Control。其中,逻辑部分由程序员在程序中规定,而控制部分(推理求解过...

2012-01-31 11:15:27

阅读数:1982

评论数:0

1B.1 Gödel语言的主要创新

http://www.docin.com/p-92139363.html         由于Prolog所取得的巨大成功,一直以来Prolog都是逻辑程序设计的代称。但是,Prolog基于一阶逻辑的Horn子集,作为一种无类型 逻辑程序设计语言,它缺乏足够的可表达性。而且,由于Prolog...

2012-01-31 10:23:32

阅读数:1904

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭