仿真非确定性计算模型

Simulated Non-determinism Computational Model

逻辑程序设计模型的一个特性是它的非确定性,而Prolog语言所具有的非确定性对于编写非确定性计算模型的解释程序提供了坚实的语言基础,通过几个非确定性机的仿真程序,对于实现其他一些计算模型的仿真具有很好的借鉴意义。

The characteristics of logical program designing model is its non-determinism,but the non-determinism of the Prolog language provides the solid language foundation to the interpreter of non-definite computational model.It has a good significance for realizing other simulated non-determinism computational model through discussing several simulated programs about non-determinism machine.