过程性语义相关论文
Godel语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了......
逻辑程序设计是一种说明性程序设计方式,它将程序的逻辑和控制分开,程序员只需考虑逻辑描述部分,控制部分则完全交付语言的编译或解释......
G(o)del语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢.对此采用进化代数描述了其主要语言成......
本文对目前在处理复杂对象上的3种有代表性的逻辑语言进行了详细的综合分析,对比了它们在语法,语义及应用上的优优点。在此基础上提出......
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成......
阐明了FLL(FuzzyLogicLanguage)语言的说明性语义,并从过程性角度提出了FLL的执行模式,为该语言的实现模型奠定了理论基础。......