A mathematical framework for the problem of combination of Prolog programs

Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Vargas-Vera, María (VerfasserIn), Robertson, Dave (VerfasserIn), Inder, Robert (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1992
Schriftenreihe:	University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 612
Schlagworte:	Applied statistics, operational research Computer software Prolog (Computer program language)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!