逻辑程序设计模型的一个特性是它的非确定性,而Prolog语言所具有的非确定性对于编写非确定性计算模型的解释程序提供了坚实的语言......

非决定论通过否定历史发展规律的客观性，进而否定“两个必然”，为资本主义制度辩护。辩证历史决定论肯定历史发展规律的客观性，同时强......

针对人身侵权领域出现的因果关系非决定倾向,分析了其哲学、科学基础。认为受量子力学影响,哲学上的因果关系经历了从决定论到非决......

Can the semantics of a program be represented as a single formula? We show that one formula is insufficient to handle as......