Title: MiniManuals in PC SCHEME and PROLOG Revised Edition