Prolog in Computer-Based Learning: A General Purpose Interface for Overcoming Learning Blocks. - George K. Fornshell (1987)