Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi

A Mathematical Definition of Full Prolog (CROSBI ID 103729)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Boerger, Egon ; Rosenzweig, Dean A Mathematical Definition of Full Prolog // Science of computer programming, 24 (1995), 3; 249-286-x

Podaci o odgovornosti

Boerger, Egon ; Rosenzweig, Dean

engleski

A Mathematical Definition of Full Prolog

The paper provides a mathematical yet simple model for the full programming language Prolog, as apparently intended by the ISO draft standard proposal. The model includes all control constructs, database operations, solution collecting predicates and error handling facilities, typically ignored by previous theoretical treatments of the language. We add to this the ubiquitous box-model debugger. The model directly reflects the basic intuitions underlying the language and can be used as a primary mathematical definition of Prolog. The core of the model has been applied for mathematical analysis of implementations, for clarification of disputable language features and for specifying extensions of the language in various directions. The model may provide guidance for extending the established theory of logic programming to the extralogical features of Prolog.

Evolving algebras; Prolog; ISO standard

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

24 (3)

1995.

249-286-x

objavljeno

0167-6423

Povezanost rada

Matematika

Indeksiranost