A system of Computer Assisted Instruction for Students Studying Basic Logic at the 9th Grade Level was written in Prolog running on a Digital Equipment Vax 11/780 under the Unix1 operating system. The program is a straight-forward approach to teaching propositional logic. A three layer menu structure is used to inform students of lessons, subtopics, and help available. Example questions are generated after each subtopic, and student scores are displayed for immediate reinforcement or correction. Scores are also saved for storage on the student's progress chart file. A help function enables the student to review explanations of terminolgy, review truth tables, print a student handbook, and either display or print the student's progress chart. In addition, the teacher may open a student account, close a student account, print a classlist, print progress charts, or print the teacher's handbook. The input/output is not up to par due to the limitations imposed by the Prolog C-Interpreter. Pretests and Posttests are only available interactively with the aid of the teacher.
Computer Science (MS)
Department, Program, or Center
Computer Science (GCCIS)
James Robert Carbin
Shortt, Edith, "Computer assisted instruction for students studying basic logic at the 9th grade level" (1986). Thesis. Rochester Institute of Technology. Accessed from
RIT – Main Campus
Physical copy available from RIT's Wallace Library at QA20.C65 S56 1986