逻辑程序语言相关论文
逻辑程序语言又叫说明语言，这是因为用它编写的程序中，说明语句多于赋值语句或流程控制语句。逻辑程序语言的一个最基本的特征是它的......
本文首先讨论了引入集合的意义，然后建立了一种基于集合基贩归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一......
