Associative evaluation of PROLOG programs TIRM-84-004
Nakamura, Katsuhiko.
Turing Institute (Glasgow, Scotland)
Glasgow Turing Institute
1984
Bibliography: p16
Prolog (Computer program language)
Computer programs