期刊文献+

基于Prolog的函数语言解释执行

Interpreting Functional Language Based on Prolog
下载PDF
导出
摘要 通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。 By introducing a logical design functions of language interpreted language Prolog prototype,showing different declarative languages for software development methods.Such method takes advantage of respective features of different languages to improve programming efficiency and software reliability.Results of samples executed in the functional language interpreter verify the effectiveness of the interpreter.
出处 《莆田学院学报》 2011年第2期57-61,共5页 Journal of putian University
基金 福建省自然科学基金资助项目(2008J04005)
关键词 声明式语言 Lambda演算 PROLOG 函数语言 解释执行 declarative language Lambda calculus Prolog functional language interpreting execution
  • 相关文献

参考文献9

二级参考文献38

  • 1雷英杰,华继学,徐彤,狄博.Visual Prolog截断机制对回溯的作用机理[J].计算机工程,2005,31(18):183-185. 被引量:6
  • 2何华灿,何智涛.从逻辑学的观点看人工智能学科的发展[C]//涂序彦.人工智能回顾与展望.北京:科学出版社,2006:77-111.
  • 3陆汝钤.人工智能(上册)[M].北京:科学出版社,1995.
  • 4陆汝钤.人工智能(下册)[M].北京:科学出版社,1995.
  • 5Ulf Nilsson,Jan Maluszynski. Logic, Programming and Prolog, Second Edition[M]. John Wiley & Sons Ltd,1995.
  • 6George F. Luger. Artificial Intelligence:Structures and Strategies for Complex Problem Solving,Fourth Edition[M].北京:机械工业出版社,2003.
  • 7Anil Nerode,Richard A. Shore. Logic for Application, Second Edition[ M].北京:机械工业出版社,2006.
  • 8Darlington J,Lecture Notes in Computer Science.355,1989页
  • 9Comini M, Gori R, Levi G, et al. Abstract interpretation based verification of logic programs. Science of Computer Programming,2003,49(1/3) :89-123.
  • 10Cousot P. Automatic Verification by Abstract Interpretation// Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI ' 03). LNCS, 2003 (2566):85 -108.

共引文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部