Title: Computer assisted Prolog tutor
First published: 1995