Ciampolini, Anna; Lamma, Evelina; Mello, Paola An abstract interpretation framework for optimizing dynamic modular logic languages. (English) Zbl 1022.68501 Inf. Process. Lett. 58, No. 4, 163-170 (1996). MSC: 68N15 68N17 PDFBibTeX XMLCite \textit{A. Ciampolini} et al., Inf. Process. Lett. 58, No. 4, 163--170 (1996; Zbl 1022.68501) Full Text: DOI
Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo The implementation of a distributed model for logic programming based on multiple-headed clauses. (English) Zbl 0772.68016 Inf. Process. Lett. 42, No. 6, 331-338 (1992). MSC: 68N17 68N15 68Q10 PDFBibTeX XMLCite \textit{A. Brogi} et al., Inf. Process. Lett. 42, No. 6, 331--338 (1992; Zbl 0772.68016) Full Text: DOI
Brogi, Antonio; Lamma, Evelina; Mello, Paola Hypothetical reasoning in logic programming: A semantic approach. (English) Zbl 0706.68026 Inf. Process. Lett. 36, No. 6, 285-291 (1990). MSC: 68N17 68T99 68T15 68Q55 PDFBibTeX XMLCite \textit{A. Brogi} et al., Inf. Process. Lett. 36, No. 6, 285--291 (1990; Zbl 0706.68026) Full Text: DOI