O'Byrne, RonanKendall, John2008-02-262008-02-261986-06-01http://hdl.handle.net/1880/45546This paper discusses various techniques for logic circuit design, using Prolog, a language for logic programming. All the techniques take advantage of Prolog's special programming style. A unique approach to logic circuit design is presented, where circuit building rules are used to create a particular instance of a circuit type. Optionally, these logic equations can be minimized and converted to NOT/NAND logic using a re-write rule technique presented here. Finally possibilities for logic verification are explored.EngComputer Scienceunknown1986-232-610.11575/PRISM/30869