Abstract
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher conceptual level of this programming paradigm guides students to an early appreciation for abstraction. The descriptive character of programs makes them more understandable than conventional programs, and the relational basis makes them more versatile. This incremental and highly interactive style of programming leads to early student success and motivates active participation by students.
- ACM K-12 CS Model Curriculum (2nd ed.). http://csta.acm.org/Curriculum/sub/ACMK12CSModel.htmlGoogle Scholar
- Brachman, R. & Levesque H. Knowledge Representation and Reasoning. Morgan Kaufmann, 2004, 381 pp. Google ScholarDigital Library
- Clocksin, W. & Mellish C. Programming in Prolog (5th ed.). Springer, 2003, 299 pp. Google ScholarDigital Library
- Dijkstra E. A Discipline of Programming. Prentice-Hall, 1976, 217 pp. Google ScholarDigital Library
- Hoare C. An axiomatic basis for computer programming. Commun. ACM 12, 10 (1969), 376--380, 383. Google ScholarDigital Library
- Kramer. J. Is Abstraction the Key to Computing? Commun. ACM, V. 50, 4 (April 2007), 36--42. Google ScholarDigital Library
- Ramamohanarao K. & Harlan J. An Introduction to Deductive Database Languages and Systems. VLDB Jour. 3 (1994), 107--122. Google ScholarDigital Library
- SWI-Prolog Foundation, http://www.swi-prolog.org/Google Scholar
Index Terms
- Prolog as the first programming language
Recommendations
Spider vs. Prolog: simulating Prolog in Spider
CompSysTech '09: Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in ComputingControl Network Programming is a programming paradigm that integrates ideas from imperative programming, declarative programming, rule-based systems, nondeterministic programming and graphical programming. Its computation rule is based on an extended ...
Students' perspective on the first programming language: C-like or Pascal-like languages?
The choice of the first programming language (FPL) has been a controversial issue for several decades. Nearly everyone agrees that the FPL is important and affects students' subsequent education on programming. The study presented in this article ...
PARLOG and its Applications
Special Issue on Artificial Intelligence in Software ApplicationsThe key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems ...
Comments