Bertino, Elisa; Catania, Barbara; Gori, Roberta Enhancing the expressive power of the U-Datalog language. (English) Zbl 1066.68521 Theory Pract. Log. Program. 1, No. 1, 105-122 (2001). MSC: 68P15 68N15 68Q55 PDFBibTeX XMLCite \textit{E. Bertino} et al., Theory Pract. Log. Program. 1, No. 1, 105--122 (2001; Zbl 1066.68521) Full Text: DOI
Shen, Yi-Dong; Yuan, Li-Yan; You, Jia-Huai; Zhou, Neng-Fa Linear tabulated resolution based on Prolog control strategy. (English) Zbl 1090.68533 Theory Pract. Log. Program. 1, No. 1, 71-103 (2001). MSC: 68N17 68N15 PDFBibTeX XMLCite \textit{Y.-D. Shen} et al., Theory Pract. Log. Program. 1, No. 1, 71--103 (2001; Zbl 1090.68533) Full Text: DOI
Flesca, Sergio; Greco, Sergio Declarative semantics for active rules. (English) Zbl 1066.68522 Theory Pract. Log. Program. 1, No. 1, 43-69 (2001). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Flesca} and \textit{S. Greco}, Theory Pract. Log. Program. 1, No. 1, 43--69 (2001; Zbl 1066.68522) Full Text: DOI