[comp.lang.prolog] Algebraic simplification algorythm

bondc@silver.bacs.indiana.edu (10/06/87)

A-L-G-O-R-I-T-H-M