Date of Award
1985
Document Type
Thesis
Publication Status
Version of Record
Submission Date
October 2026
Abstract
Gaining the ability to think logically and to understand strategies of problem solving is a desired goal of education. This goal is often expressed as learning to reason. The programming languages currently being taught feature a systematic breaking down of a problem into manageable parts instead of stressing an overview of the entire problem and all its possible implications in its environment. PROLOG, a computer language which allows programming in logic, is a descriptive language. The goals of including PROLOG in the repertoire of a student's skills are to build a familiarity with a logical system to approach open-ended questions and multistep problems and thereby achieve an enhancement of reasoning abilities. The text and exercises developed were used to teach reasoning in PROLOG to three groups of university level students.
Extent
253 p.
Recommended Citation
MARTIN, DONNA LOU, "LEARNING TO REASON IN PROLOG" (1985). Electronic Theses and Dissertations 1980 - 1989. 382.
https://digitalcommons.fau.edu/etd_general_3/382
Identifier
FADT14239
Comments
Thesis (M.S.T.)--Florida Atlantic University, 1985.|Thesis (M.S.T.)--Florida Atlantic University, 1985.