SEDatalog語言的操作語義及其運行模型.pdf

1、本文對一個新的面向集合的邏輯程序設計語言——SEDatalog(Set Extension Datalog)進行了探討,給出了這個語言的操作語義及其運行模型.SEDatalog是Datalog的擴展,它采用集合的內涵定義來生成集合,而不僅僅是表示集合,并且引入了"階(order)"的約束來保證集合間清晰的層次關系,避免出現Russell悖論以及類似的問題,使得SEDatalog程序在推理或合一的過程中可以處理集合對象.Warren抽象機

2、(WAM)是一個著名的邏輯程序設計語言的抽象機(或稱為運行模型),許多不同版本的邏輯程序設計語言都以WAM為原型(或在其基礎上擴展)來實現語言的編譯系統(tǒng).目前還沒有相關的研究工作來解釋SEDatalog語言的運行,本文在前人研究成果的基礎上,對SEDatalog語言的操作語義及其運行模型進行了探索.SEDatalog語言的操作語義是一個2維的、自頂向下的、從左到右的SLD歸結過程.本文對這個操作語義中的合一、推理、集合成員、集合包含以及