Note
Thesis (M.S.T.)--Florida Atlantic University, 1985.
Member of
Contributors
Publisher
Florida Atlantic University
Date Issued
1985
Description
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.
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.
Language
Type
Form
Extent
253 p.
Subject (Topical)
Identifier
14239
Additional Information
Thesis (M.S.T.)--Florida Atlantic University, 1985.
Date Backup
1985
Date Text
1985
Date Issued (EDTF)
1985
Extension
FAU
FAU
admin_unit="FAU01", ingest_id="ing1508", creator="staff:fcllz", creation_date="2007-07-19 02:19:00", modified_by="staff:fcllz", modification_date="2011-01-06 13:09:07"
IID
FADT14239
Issuance
monographic
Organizations
Attributed name: Florida Atlantic University
Person Preferred Name
MARTIN, DONNA LOU
Graduate College
Physical Description
253 p.
application/pdf
Title Plain
LEARNING TO REASON IN PROLOG
Use and Reproduction
Copyright © is held by the author with permission granted to Florida Atlantic University to digitize, archive and distribute this item for non-profit research and educational purposes. Any reuse of this item in excess of fair use or other copyright exemptions requires permission of the copyright holder.
http://rightsstatements.org/vocab/InC/1.0/
Origin Information
1985
monographic
Boca Raton, Fla.
Florida Atlantic University
Physical Location
Florida Atlantic University Libraries
Place
Boca Raton, Fla.
Sub Location
Digital Library
Title
LEARNING TO REASON IN PROLOG
Other Title Info
LEARNING TO REASON IN PROLOG