Logic programming and ultrametric spaces

Logic programming and ultrametric spaces

By this expository paper we would like to call the attention to ultrametric spaces and their applications to logic programming. We present the essentials of logic programming and give an introduction to the theory of ultrametric spaces. For these, we prove a fixed point theorem and also a multivalue...

Full description

Bibliographic Details
Main Authors: Sibylla Priess-Crampe, Paulo Ribenboim
Format: Article
Language:English
Published: Sapienza Università Editrice 1999-01-01
Series:Rendiconti di Matematica e delle Sue Applicazioni
Subjects:
ultrametric spaces
fixed point and multivalued fixed point theorem
applications to logic programming
existence of herbrand models for non-positive programs
Online Access:https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/1999(2)/155-176.pdf

Internet

https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/1999(2)/155-176.pdf

Similar Items