A declarative approach for first-order built-in's of Prolog (Q1328181)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A declarative approach for first-order built-in's of Prolog |
scientific article |
Statements
A declarative approach for first-order built-in's of Prolog (English)
0 references
4 July 1994
0 references
The aim of the paper is to provide a new non-standard declarative semantic for Prolog programs with built-in's that include arithmetic operations and metalogical relations like var and ground. Completeness of the Prolog computation mechanism w.r.t. this semantics is proved. The authors provide a method for proving termination of Prolog programs with built-in's which uses this semantics.
0 references
non-standard declarative semantic
0 references
Prolog programs
0 references