Inference transformation a new methodology for the program transformation

Abstract: "We define the concept of the 'inference transformation' as a completely new methodology for the program transformation in the field of the logic programming, and we show the theoretical background."

Bibliographische Detailangaben

1. Verfasser:	Yamaguchi, Jinsei (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1991
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 694
Schlagworte:	Logic programming
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!