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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sapienza Università Editrice
1999-01-01
|
| Series: | Rendiconti di Matematica e delle Sue Applicazioni |
| Subjects: | |
| Online Access: | https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/1999(2)/155-176.pdf |
| _version_ | 1811251380846854144 |
|---|---|
| author | Sibylla Priess-Crampe Paulo Ribenboim |
| author_facet | Sibylla Priess-Crampe Paulo Ribenboim |
| author_sort | Sibylla Priess-Crampe |
| collection | DOAJ |
| description | 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 multivalued fixed point theorem. The fixed point theorem is used to derive a criterion for the existence of a Herbrand model for a program which is not assumed to be positive. |
| first_indexed | 2024-04-12T16:18:44Z |
| format | Article |
| id | doaj.art-f5cb97b2975646ec8bc63e0a376aa313 |
| institution | Directory Open Access Journal |
| issn | 1120-7183 2532-3350 |
| language | English |
| last_indexed | 2024-04-12T16:18:44Z |
| publishDate | 1999-01-01 |
| publisher | Sapienza Università Editrice |
| record_format | Article |
| series | Rendiconti di Matematica e delle Sue Applicazioni |
| spelling | doaj.art-f5cb97b2975646ec8bc63e0a376aa3132022-12-22T03:25:38ZengSapienza Università EditriceRendiconti di Matematica e delle Sue Applicazioni1120-71832532-33501999-01-01192155176Logic programming and ultrametric spacesSibylla Priess-Crampe0Paulo Ribenboim1Universität MünchenQueen’s University KingstonBy 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 multivalued fixed point theorem. The fixed point theorem is used to derive a criterion for the existence of a Herbrand model for a program which is not assumed to be positive.https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/1999(2)/155-176.pdfultrametric spacesfixed point and multivalued fixed point theoremapplications to logic programmingexistence of herbrand models for non-positive programs |
| spellingShingle | Sibylla Priess-Crampe Paulo Ribenboim Logic programming and ultrametric spaces Rendiconti di Matematica e delle Sue Applicazioni ultrametric spaces fixed point and multivalued fixed point theorem applications to logic programming existence of herbrand models for non-positive programs |
| title | Logic programming and ultrametric spaces |
| title_full | Logic programming and ultrametric spaces |
| title_fullStr | Logic programming and ultrametric spaces |
| title_full_unstemmed | Logic programming and ultrametric spaces |
| title_short | Logic programming and ultrametric spaces |
| title_sort | logic programming and ultrametric spaces |
| topic | ultrametric spaces fixed point and multivalued fixed point theorem applications to logic programming existence of herbrand models for non-positive programs |
| url | https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/1999(2)/155-176.pdf |
| work_keys_str_mv | AT sibyllapriesscrampe logicprogrammingandultrametricspaces AT pauloribenboim logicprogrammingandultrametricspaces |