Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Is abstraction the key to computing?
Communications of the ACM
Processing language in introduction to computer science honors (CS110h)
Journal of Computing Sciences in Colleges
| Hi-index | 0.00 |
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.