lusk%antares@ANL-MCS.ARPA (03/31/88)
You might try Peter Rentjes (sp?) somewhere in North Carolina. (Sorry I can't be more specific) He has a large circuit design language translator written in Prolog, parts of which were released into the public domain at the recent Prolog benchmarking workshop in Los Angeles. For Peter's address you might try Rick Stevens (stevens@anl-mcs.arpa).