SELF^2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计

SELF^2, A PROGRAMMING LANGUAGE INTEGRATING FOUR PARADIGMS FUNCTIONAL, EQUATIONAL, LOGIC, AND SET-THEORETIC: LANGUAGE DESIGN

设计了一种新人工智能编程语言SELF^2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF^2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF^2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF^2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF^2语言核仁及SELF^2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF^2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。

A new artificial intelligence programming language SELF^2 is designed, which integrates four programming paradigms (functional, equational , logic, and set-theoretic) into itself and will constitute a core of the language Lyusia of new version. The design of the language SELF^2 consists of four stages: the design of the SELF^2 kernel which possesses three paradigms functional, equational, and logic; expansion of the kernel into one with settheoretic paradigm; bringing the structure list in; expansion of the...