Nov 3, 2002 #1 Manasir Technical User Oct 10, 2002 9 AU i need a program to producing the clause form for resolution refutations using prolog in AI?