The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al 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. Keywords Prolog, logic programming, first programming language