A Computational Logic Handbook 1988