Hi Tom, do you you know anyone from those days that might help us track down the Prolog and Ada implementations for Symbolics? http://www.retrocomputingtasmania.com/home/projects/spg We heard from David Schmidt that some of the software was lost during one of the office moves, but we're hopeful someone kept a copy.