Mathematical Discovery Prolog-Style.

Lopez, Antonio M., Jr.

Notes FAQ Contact Us

Back to results

Peer reviewed

ERIC Number: EJ421954

Record Type: Journal

Publication Date: 1991

Pages: N/A

Abstractor: N/A

ISBN: N/A

ISSN: ISSN-0730-8639

EISSN: N/A

Available Date: N/A

Mathematical Discovery Prolog-Style.

Lopez, Antonio M., Jr.

Mathematics and Computer Education, v25 n1 p56-71 Win 1991

The programing language PROLOG is compared to LOGO in terms of its ability to handle mathematical ideas. This is demonstrated by using PROLOG in solving a geometric theorem and two lemmas. The listings of the computer programs used to solve the problems are included. (KR)

Descriptors: College Mathematics, Computer Assisted Instruction, Computer Software, Geometric Concepts, Geometry, Higher Education, Learning Activities, Mathematical Concepts, Mathematics Education, Mathematics Skills, Problem Solving, Teaching Methods

Publication Type: Journal Articles; Guides - Classroom - Teacher; Computer Programs

Education Level: N/A

Audience: Teachers; Practitioners

Language: English

Sponsor: N/A

Authoring Institution: N/A

Grant or Contract Numbers: N/A

Author Affiliations: N/A