📚 Goedel技术资料

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Go...