Prolog, Mercury and the termination problem

Anna Sasak

Abstract


This paper shortly introduces the two logic programming languages Prolog and Mercury. On this background we introduce the problem of analysing termination of programs. Then we present Mercury's termination analyser, that the authors of the language incorporated into its compiler. We will also discuss the proposition based on the same method analyser for Prolog's predicates.

Full Text:

PDF


DOI: http://dx.doi.org/10.17951/ai.2006.5.1.79-86
Date of publication: 2006-01-01 00:00:00
Date of submission: 2016-04-27 10:15:48


Statistics


Total abstract view - 307
Downloads (from 2020-06-17) - PDF - 0

Indicators



Refbacks

  • There are currently no refbacks.


Copyright (c) 2015 Annales UMCS Sectio AI Informatica

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.