Browsing AI Memos (1959 - 2004) by Author "Hart, Timothy"
Now showing items 1-2 of 2
-
REVISED USER'S VERSION - Time Sharing LISP
Martin, William; Hart, Timothy (1964-04-01)This memo describes changes to the LISP system by several people. The changes reduce printout and give the user more control over it. They also make it possible for LISP to communicate with the teletype and the disk. The ... -
A Useful Algebraic Property of Robinson's Unification Algorithm
Hart, Timothy (1965-11-01)This memo presupposes some acquaintance with "A Machine Oriented Logic Based on the Resolution Principle", J.A. Robinson, JACM Jan65. The reader unfamiliar with this paper should be able to get a general idea of the ...