Abstract
The traditional way to teach Prolog is to have students start by writing recursive mathematical definitions of the problems they are trying to solve. While this is an effective technique, it does not fit well into a Programming Languages course that uses a single demonstration language to illustrate the different paradigms. Thus, we have developed an approach to introduce students to Prolog via our demonstration language, Scheme. Additionally, we performed an experiment to determine if the Scheme to Prolog approach is as effective at introducing Prolog as the more traditional recursive mathematical definition approach.
- Lu, James and Jerud Mead. http://www.eg.bucknell.edu/~cs208/subpages/Tutorials/PrologT/prolog/prolog.html. Bucknell Univerisy. 2002.Google Scholar
- Sterling, Leon and Ehud Shapiro. The Art of Prolog. MIT Press. 1994.Google Scholar
- Tucker, Allen and Robert Noonan. Programming Languages, Principles and Paradigms. McGraw-Hill. 2002. Google ScholarDigital Library
- Wick, Michael R and Daniel E. Stevenson. "A Reductionist Approach to a Course on Programming Languages," SIGCSE, February 2001. Google ScholarDigital Library
Index Terms
- On using scheme to introduce prolog
Recommendations
On using scheme to introduce prolog
SIGCSE '06: Proceedings of the 37th SIGCSE technical symposium on Computer science educationThe traditional way to teach Prolog is to have students start by writing recursive mathematical definitions of the problems they are trying to solve. While this is an effective technique, it does not fit well into a Programming Languages course that ...
Revised Report on the Algorithmic Language Scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman. It was designed to have ...
Using Prolog to implement a compiler for a parallel image processing language
ICIP '95: Proceedings of the 1995 International Conference on Image Processing (Vol. 1)-Volume 1 - Volume 1This paper describes the use of Prolog as an implementation language for a compiler for a parallel image processing language. The target machine for which code is generated is an abstract model for parallel image processing. The structure of the final ...
Comments