逻辑程序的与并行推理模型LPT |
| |
引用本文: | 章萃.逻辑程序的与并行推理模型LPT[J].复旦学报(自然科学版),1987(4). |
| |
作者姓名: | 章萃 |
| |
作者单位: | 复旦大学计算机科学系 |
| |
摘 要: | 本文给出逻辑程序的与并行推理模型LPT(Loosely-Linked Proof Tree)的基本思想.LPT将基于一阶谓词演算的逻辑程序的执行定义为以主动求值方式进行的与并行推理,具有许多重要性质.这里,对逻辑式语言无过多限制. 定义1 在关系R的定义子句R:——R_1,…,R_n,若存在一个变量x,x既是R_i的出变量,又是R_j的入变量,则称R_i关于R_j数据相关. 定义2 在关系R的定义子句R:——R_1,…,R_n,若存在变量x_1,…,x_S,且R_(ij)关于x_(j+1)与R_(ij+1)数据相关,则称R_(io),…,R_(is)构成长度为S的单向信道,记为(R_(io)…,
|
本文献已被 CNKI 等数据库收录! |
|