On the characterization of prolog programs
By: by Timothy Scot Meyer.
Series: [Ph. D. theses / State University of New York at Binghamton -- no. 1536]; Ph. D. theses (State University of New York at Binghamton) -- no. 1536.
Published: 1995
Language: eng
Number of pages: 153
Subjects: Prolog (Computer program language)
Notes: Thesis (Ph. D.)--State University of New York at Binghamton, Watson School of Engineering and Applied Science, 1995.

Includes bibliographical references.