Edith Shortt


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.

Publication Date


Document Type


Student Type


Degree Name

Computer Science (MS)

Department, Program, or Center

Computer Science (GCCIS)


John Biles

Advisor/Committee Member

Lawrence Coon

Advisor/Committee Member

James Robert Carbin


Physical copy available from RIT's Wallace Library at QA20.C65 S56 1986


RIT – Main Campus