Artificial intelligence news letter
โ
Laurence L. Leff
๐
Article
๐
1987
๐
Elsevier Science
๐
English
โ 421 KB
Left 1. Electrical Engineering A set of Prolog programs converts a boolean description to CIF (Caltech Intermediate Form). The input is specified in Prolog itself. The intermediate forms are a netlist of transistors and a virtual grid in the style of a Gate Matrix. (Ashar A. Butt, University of Cali