用PROLOG模拟Lyusia语言中状态转移编程体裁

新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia 语言中状态转移编程体裁,以达到:(1)阐明状态转移编程体裁的逻辑本质。(2)显示“状态转移编程体裁既蕴含着过程性,又蕴含着说明性(declarative)”。(3)显示“状态转移编程体裁是过程编程体裁与基于法则编程体裁的结合”。(4)表明状态转移编程体裁在表达能力方面的简洁、灵活、善变。(5)说明状态转移编程体裁的应用。

STATE-TRANSITION PROGRAMMING PARADIGM IN LYUSIA SIMULATED BY PROLOG

The new-generation AI language Lyusia is a multiple-paradigms multiply-stratified programming language~(1,2]).In syntax and in semantics it organically andharmoniously unifies five programming paradigms,i.e.,functional,logic,set-theoretical,state-transition(which is itself the unity of procedural and rule-basedparadigms),and data-flow paradigms.Simulating the state-transition programmingparadigm(STPP)by Prolog through some examples,the author intends to attainthe following:(1)a clarification of the logic essence of the STPP;(2)a display of the factthat the STPP implies both the procedural paradigm and the declarative paradigm;(3)ashow of the fact that the STPP is the unity of procedural paradigm and rule-basedparadigm;(4)a demonstration of the marvellously expressive power of the STPP in sim-plicity,clarity,flexibility,and versatility;(5)an explanation of the application of theSTPP.