tusveld@hcsrnd.UUCP (Fred Tusveld) (04/02/91)
Hello, does anyone happen to know the email address of Timothy Koschmann, who, I think, works for Xerox Parc. By the way, if anyone happens to know about Prolog or theorem provers written in CLOS or Common Lisp, I'd appreciate hearing from them. ~ Thanks in advance. Fred Tusveld HCS Technology, Industrial Automation, R&D Landdrostlaan 51, 7302 HA Apeldoorn The Netherlands tel. +31 55 498600 tusveld@hcsrnd.uucp.nl or hcsrnd!tusveld@relay.EU.net