Reforming compilation of logic programs
By: Håkan Millroth
Contributors: Uppsala universitet. Institutionen för ADB och datalogi
Series: Uppsala theses in computing science -- 10
Publisher: UPMAIL, Computing Science Dept., Uppsala University
Published: 1990
Place of publication: Uppsala
Language: eng
Number of pages: 68
ISBN-13: 9789150608250
Subjects: Logic programming; Recursive programming
Notes: Abstract inserted.

Thesis (doctoral)--Uppsala University, 1990.

Includes bibliographical references (p. 68)