Tentative Class Schedule

Primary Reading Sources

Language	Schedule Abbreviation	Title, with Initial Link
Scheme	—	Schedule gives individual daily links
Haskell	LYH	Learn You a Haskell for Great Good!
Prolog	LPN	Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz
Prolog	WHO	Haskell: The Haskell Programming Language

Status Code Symbols for Readings and Labs:

#	no content available
+	draft available
(blank)	material ready (or nearly ready)

Monday Wednesday Friday

Monday	Wednesday	Friday
January 20 Martin Luther King, Jr. Day	January 22 Functional Problem Solving with Scheme Preliminaries Quick course overview Home Page / Syllabus / Schedule Clicker set up Readings Comments and predicates Labs Installing the environment Getting started with Scheme	January 24 Functional Problem Solving with Scheme Scheme Program Files Simple Procedures Conditionals (`cond, if`) Readings Scheme Program Files Lambda Expressions and User-defined Procedures Conditionals Labs Conditional Execution in Scheme User-defined Procedures
January 27 Functional Problem Solving with Scheme Simple lists Structures Procedures Parameters MAP Append Eval Defining recursive procedures Readings Simple lists Basic recursion Labs An Introduction to Lists in Scheme Basic recursion Designing recursive functions	January 29 In-class Quiz Functional Problem Solving with Scheme Program correctness Husk-and-kernel Readings Program correctness; husk-and-kernel Labs Program correctness and program design (required—due Monday, February 3)	January 31 Functional Problem Solving with Scheme Program efficiency Tail recursion Readings Tail recursion Labs Tail recursion
February 3 Functional Problem Solving with Scheme Character data Strings Readings Characters Strings, encryption, palindromes Labs Characters Strings Due: Lab on Program correctness and program design	February 5 Functional Problem Solving with Scheme Procedures as first-class citizens Local bindings Variables and values Local procedures Readings Procedure-arguments Local bindings Labs Procedures as arguments Local bindings Local procedures (required—due Wednesday, February 12)	February 7 Functional Problem Solving with Scheme Higher-order procedures Readings Higher-order procedures Labs Higher-order procedures
February 10 Functional Problem Solving with Scheme Procedures as values Readings Variable arity Procedures as values Labs Variable arity Procedures as values	February 12 In-class Quiz Functional Problem Solving with Scheme Assignment/Project Eliza Project (Scheme Version) (required—due Wednesday, February 19) Due: Lab on Local procedures	February 14 Functional Problem Solving with Scheme Open Lab (continued work on Scheme-based, Eliza project) Eliza Project (Scheme Version) (Continued) (required)
February 17 Functional Problem Solving with Haskell (Haskell Day 1) Introduction to Haskell Expressions Using Haskell Installation The Haskell Environment Readings LYH: Introduction to Haskell LYH: Starting out: Ready, set, go! Labs Installation The Haskell Tool Stack A Gentle Introduction to Haskell 98 Haskell Worksheet 1 (started) (worksheet required—due Monday, February 24)	February 19 Functional Problem Solving with Haskell (Haskell Day 2) Functions and Function definitions Readings LYH: Starting out: Functions Labs Haskell Worksheet 1 (continued) (worksheet required—due Monday, February 24) Due: Eliza Project (Scheme Version)	February 21 Functional Problem Solving with Haskell (Haskell Day 3) Lists Texas Ranges Tuples Readings LYH: Starting Out: An introduction to Lists (rest of chapter) Labs Haskell Worksheet 1 (concluded) (worksheet required—due Monday, February 24)
February 24 Functional Problem Solving with Haskell (Haskell Day 4) Types Type classes Readings LYH: Types and type classes Labs Haskell Worksheet 2 (started) (worksheet required—due Monday, March 2) Due: Haskell Worksheet 1	February 26 In-class Quiz Functional Problem Solving with Haskell (Haskell Day 5) Function definitions with lists and patterns Readings LYH: Pattern matching Labs Haskell Worksheet 2 (continued) (worksheet required—due Monday, March 2)	February 28 Functional Problem Solving with Haskell (Haskell Day 6) Function definitions with guides Readings LYH: Guards Labs Haskell Worksheet 2 (concluded) (worksheet required—due Monday, March 2)
March 2 Functional Problem Solving with Haskell (Haskell Day 7) Let expressions Where statements Case expressions Readings LYH: Where statements LYH: Let expressions LYH: Case expressions Labs Haskell Worksheet 3 (started) (worksheet required—due Friday, March 13) Due: Haskell Worksheet 2	March 4 Functional Problem Solving with Haskell (Haskell Day 8) Higher-order functions Readings Curried Functions and Higher-order Functions Labs Haskell Worksheet 3 (continued) (worksheet required—due Friday, March 13)	March 6 In-class Quiz Functional Problem Solving with Haskell (Haskell Day 9) Maps Filters Lambdas Readings LYH: Maps and Filters LYH: Lambdas Labs Haskell Worksheet 3 (continued further) (worksheet required—due Friday, March 13)
March 9 Functional Problem Solving with Haskell (Haskell Day 10) Folds More higher-order Functions Readings Recursion (review) LYH: Folds (rest of chapter) Labs Haskell Worksheet 3 (continued further) (worksheet required—due Friday, March 13)	March 11 Functional Problem Solving with Haskell (Haskell Day 11) Group Time for Haskell Worksheet 3 (concluded) (worksheet required—due Friday, March 13)	March 13 Functional Problem Solving with Haskell (Test Day) In-class Test Due: Haskell Worksheet 3
March 16 Spring Recess Monday, March 16	March 18 Spring Recess Wednesday, March 18	March 20 Spring Recess Friday, March 20
March 23 Course Planning and Communication	March 25 Functional Problem Solving with Haskell (Haskell Day 12) Reflections on Course/Status Comments on Mid-semester Restart Function application with $ Readings LYH: Function application LYH: Function composition Labs Haskell Worksheet 4 (started) (worksheet required—due Friday, April 3)	March 27 Functional Problem Solving with Haskell (Haskell Day 13) Tuples in Haskell Readings LYH: Tuples Labs Haskell Worksheet 4 (continued) (worksheet required—due Friday, April 3)
March 30 Functional Problem Solving with Haskell (Haskell Day 14) Merge Sort Lazy Evaluation Readings WHO: Performance/Laziness: Procrastination for fun and profit WHO: Haskell/lazy evaluation Labs Haskell Worksheet 4 (continued further) (worksheet required—due Friday, April 3)	April 1 In-class Quiz Functional Problem Solving with Haskell (Haskell Day 15) More examples with lazy evaluation Readings Modules in Haskell Labs Haskell Worksheet 4 (concluded) (worksheet required—due Friday, April 3)	April 3 Functional Problem Solving with Haskell (Haskell Day 16) Wrap-up: Programming/Problem Solving with Haskell Pause for Breath Questions/Comments regarding the Eliza/Haskell Project Eliza Project (Haskell Version) (required, due Wednesday, April 8) Due: Haskell Worksheet 4
April 6 Declarative Problem Solving with Prolog (Prolog Day 1) Introduction to Prolog Getting Started Prolog Overview Readings Examples LPN: Facts, rules, and queries (overview) Some simple examples (LPN: Section 1.1) Examples prolog.1 math-cs-faculty.pl Lab Prolog Installation Prolog Worksheet 1 (started)	April 8 Declarative Problem Solving with Prolog (Prolog Day 2) Introduction to Prolog Prolog syntax Matching Readings Prolog syntax (LPN: Section 1.2) Matching (LPN: Section 2.1) Exercises/Assignment Prolog Worksheet 1 (continued) Due: Eliza Project (Haskell Version)	April 10 Declarative Problem Solving with Prolog (Prolog Day 3) An Introduction to Lists append Readings Lists (LPN: Chapter 4) Append (LPN: Section 6.1) Exercises/Assignments Prolog Worksheet 1 (concluded)
April 13 Declarative Problem Solving with Prolog (Prolog Day 4) Proof search Readings Proof search (LPN: Section 2.2) Exercises/Assignments Prolog Worksheet 2 (started) Due: Prolog Worksheet 1	April 15 In-class Quiz Declarative Problem Solving with Prolog (Prolog Day 5) Recursion Recursive definition Readings Recursive definitions (LPN: Section 3.1) Exercises/Assignments Prolog Worksheet 2 (continued)	April 17 Declarative Problem Solving with Prolog (Prolog Day 6) Recursion Clause ordering Goal ordering Termination Readings Clause ordering, goal ordering, and termination (LPN: Section 3.2) Exercises/Assignments Prolog Worksheet 2 (continued further)
April 20 Declarative Problem Solving with Prolog (Prolog Day 7) Negation Flow of control Cuts Readings Negation and negation as failure (LPN: Section 10.3) The cut (LPN: Section 10.1) Exercises/Assignments Prolog Worksheet 2 (concluded)	April 22 Declarative Problem Solving with Prolog (Prolog Day 8) Generalized lists Readings Lists (LPN: Chapter 4) Exercises/Assignments Prolog Worksheet 3 (started) Due: Prolog Worksheet 2	April 24 Declarative Problem Solving with Prolog (Prolog Day 9) List examples Lists and accumulators Readings Reversing a list (LPN: Section 6.2) Exercises/Assignments Prolog Worksheet 3 (continued)
April 27 Declarative Problem Solving with Prolog (Prolog Day 10) Terms Readings Comparing terms (LPN: Section 9.1) Terms with a special notation (LPN: Section 9.2) Exercises/Assignments Prolog Worksheet 3 (concluded)	April 29 In-class Quiz Declarative Problem Solving with Prolog (Prolog Day 11) Additional Elements of Prolog Readings if-then-else (LPN: Section 10.2) Due: Prolog Worksheet 3	May 1 Declarative Problem Solving with Prolog (Prolog Day 12) Project/Assignment A simplified Eliza program Eliza Project (Prolog Version)
May 4 Declarative Problem Solving with Prolog (Prolog Day 13) Questions, Administrivia Prolog Notes Eliza Project (Prolog Version)	May 6 Last Day of Class Semester wrap up! Discussion of Prolog program for Eliza Project Due: Eliza Project (Prolog Version) (Absolute deadline: 10:00 am PDT submissions with email timestamp 10:01 am PDT or later not accepted)	May 8 Reading Period Friday, May 8

January 20

Martin
Luther
King,
Jr.
Day

January 22 Functional Problem Solving with Scheme

Preliminaries
- Quick course overview
- Home Page / Syllabus / Schedule
- Clicker set up

Readings

Comments and predicates

Labs

January 24 Functional Problem Solving with Scheme

Scheme Program Files
Simple Procedures
Conditionals (cond, if)

Readings

Labs

January 27 Functional Problem Solving with Scheme

Simple lists
Structures
Procedures
- Parameters
- MAP
- Append
- Eval
Defining recursive procedures

Readings

Labs

January 29
In-class Quiz
Functional Problem Solving with Scheme

Program correctness
Husk-and-kernel

Readings

Program correctness; husk-and-kernel

Labs

Program correctness and program design (required—due Monday, February 3)

January 31 Functional Problem Solving with Scheme

Program efficiency
Tail recursion

Readings

Tail recursion

Labs

Tail recursion

February 3 Functional Problem Solving with Scheme

Character data
Strings

Readings

Labs

Due: Lab on Program correctness and program design

February 5 Functional Problem Solving with Scheme

Procedures as first-class citizens
Local bindings
- Variables and values
- Local procedures

Readings

Labs

Procedures as arguments
Local bindings
Local procedures (required—due Wednesday, February 12)

February 7 Functional Problem Solving with Scheme

Higher-order procedures

Readings

Higher-order procedures

Labs

Higher-order procedures

February 10 Functional Problem Solving with Scheme

Procedures as values

Readings

Labs

February 12
In-class Quiz
Functional Problem Solving with Scheme
Assignment/Project

Eliza Project (Scheme Version) (required—due Wednesday, February 19)

Due: Lab on Local procedures

February 14 Functional Problem Solving with Scheme
Open Lab (continued work on Scheme-based, Eliza project)

Eliza Project (Scheme Version) (Continued) (required)

February 17 Functional Problem Solving with Haskell (Haskell Day 1)

Introduction to Haskell
- Expressions
Using Haskell
- Installation
- The Haskell Environment

Readings

Labs

Installation
The Haskell Tool Stack
A Gentle Introduction to Haskell 98
Haskell Worksheet 1 (started)
(worksheet required—due Monday, February 24)

February 19 Functional Problem Solving with Haskell (Haskell Day 2)

Functions and Function definitions

Readings

LYH: Starting out: Functions

Labs

Haskell Worksheet 1 (continued)
(worksheet required—due Monday, February 24)

Due: Eliza Project (Scheme Version)

February 21 Functional Problem Solving with Haskell (Haskell Day 3)

Lists
Texas Ranges
Tuples

Readings

LYH: Starting Out: An introduction to Lists (rest of chapter)

Labs

Haskell Worksheet 1 (concluded)
(worksheet required—due Monday, February 24)

February 24 Functional Problem Solving with Haskell (Haskell Day 4)

Types
Type classes

Readings

LYH: Types and type classes

Labs

Haskell Worksheet 2 (started)
(worksheet required—due Monday, March 2)

Due: Haskell Worksheet 1

February 26
In-class Quiz
Functional Problem Solving with Haskell (Haskell Day 5)

Function definitions with lists and patterns

Readings

LYH: Pattern matching

Labs

Haskell Worksheet 2 (continued)
(worksheet required—due Monday, March 2)

February 28 Functional Problem Solving with Haskell (Haskell Day 6)

Function definitions with guides

Readings

LYH: Guards

Labs

Haskell Worksheet 2 (concluded)
(worksheet required—due Monday, March 2)

March 2 Functional Problem Solving with Haskell (Haskell Day 7)

Let expressions
Where statements
Case expressions

Readings

Labs

Haskell Worksheet 3 (started)
(worksheet required—due Friday, March 13)

Due: Haskell Worksheet 2

March 4 Functional Problem Solving with Haskell (Haskell Day 8)

Higher-order functions

Readings

Curried Functions and Higher-order Functions

Labs

Haskell Worksheet 3 (continued)
(worksheet required—due Friday, March 13)

March 6
In-class Quiz
Functional Problem Solving with Haskell (Haskell Day 9)

Maps
Filters
Lambdas

Readings

Labs

Haskell Worksheet 3 (continued further)
(worksheet required—due Friday, March 13)

March 9 Functional Problem Solving with Haskell (Haskell Day 10)

Folds
More higher-order Functions

Readings

Recursion (review)
LYH: Folds (rest of chapter)

Labs

Haskell Worksheet 3 (continued further)
(worksheet required—due Friday, March 13)

March 11 Functional Problem Solving with Haskell (Haskell Day 11)

Group Time for

Haskell Worksheet 3 (concluded)
(worksheet required—due Friday, March 13)

March 13 Functional Problem Solving with Haskell (Test Day)

In-class Test
Due: Haskell Worksheet 3

March 16 Spring Recess
Monday, March 16 March 18 Spring Recess
Wednesday, March 18 March 20 Spring Recess
Friday, March 20

March 23

Course
Planning
and
Communication

March 25 Functional Problem Solving with Haskell (Haskell Day 12)

Reflections on Course/Status
Comments on Mid-semester Restart
Function application with $

Readings

Labs

Haskell Worksheet 4 (started)
(worksheet required—due Friday, April 3)

March 27 Functional Problem Solving with Haskell (Haskell Day 13)

Tuples in Haskell

Readings

LYH: Tuples

Labs

Haskell Worksheet 4 (continued)
(worksheet required—due Friday, April 3)

March 30 Functional Problem Solving with Haskell (Haskell Day 14)

Merge Sort
Lazy Evaluation

Readings

Labs

Haskell Worksheet 4 (continued further)
(worksheet required—due Friday, April 3)

April 1
In-class Quiz
Functional Problem Solving with Haskell (Haskell Day 15)

More examples with lazy evaluation

Readings

Modules in Haskell

Labs

Haskell Worksheet 4 (concluded)
(worksheet required—due Friday, April 3)

April 3 Functional Problem Solving with Haskell (Haskell Day 16)

Wrap-up: Programming/Problem Solving with Haskell
Pause for Breath
Questions/Comments regarding the Eliza/Haskell Project

Eliza Project (Haskell Version) (required, due Wednesday, April 8)

Due: Haskell Worksheet 4

April 6 Declarative Problem Solving with Prolog (Prolog Day 1)

Introduction to Prolog
Getting Started
Prolog Overview

Readings Examples

LPN: Facts, rules, and queries (overview)
Some simple examples (LPN: Section 1.1)

Examples

Lab

Prolog Installation
Prolog Worksheet 1 (started)

April 8 Declarative Problem Solving with Prolog (Prolog Day 2)

Introduction to Prolog
- Prolog syntax
- Matching

Readings

Prolog syntax (LPN: Section 1.2)
Matching (LPN: Section 2.1)

Exercises/Assignment

Prolog Worksheet 1 (continued)

Due: Eliza Project (Haskell Version)

April 10 Declarative Problem Solving with Prolog (Prolog Day 3)

An Introduction to Lists
append

Readings

Lists (LPN: Chapter 4)
Append (LPN: Section 6.1)

Exercises/Assignments

Prolog Worksheet 1 (concluded)

April 13 Declarative Problem Solving with Prolog (Prolog Day 4)

Proof search

Readings

Proof search (LPN: Section 2.2)

Exercises/Assignments

Prolog Worksheet 2 (started)

Due: Prolog Worksheet 1

April 15
In-class Quiz
Declarative Problem Solving with Prolog (Prolog Day 5)

Recursion
- Recursive definition

Readings

Recursive definitions (LPN: Section 3.1)

Exercises/Assignments

Prolog Worksheet 2 (continued)

April 17 Declarative Problem Solving with Prolog (Prolog Day 6)

Recursion
- Clause ordering
- Goal ordering
- Termination

Readings

Clause ordering, goal ordering, and termination (LPN: Section 3.2)

Exercises/Assignments

Prolog Worksheet 2 (continued further)

April 20 Declarative Problem Solving with Prolog (Prolog Day 7)

Negation
Flow of control
Cuts

Readings

Negation and negation as failure (LPN: Section 10.3)
The cut (LPN: Section 10.1)

Exercises/Assignments

Prolog Worksheet 2 (concluded)

April 22 Declarative Problem Solving with Prolog (Prolog Day 8)

Generalized lists

Readings

Lists (LPN: Chapter 4)

Exercises/Assignments

Prolog Worksheet 3 (started)

Due: Prolog Worksheet 2

April 24 Declarative Problem Solving with Prolog (Prolog Day 9)

List examples
Lists and accumulators

Readings

Reversing a list (LPN: Section 6.2)

Exercises/Assignments

Prolog Worksheet 3 (continued)

April 27 Declarative Problem Solving with Prolog (Prolog Day 10)

Terms

Readings

Comparing terms (LPN: Section 9.1)
Terms with a special notation (LPN: Section 9.2)

Exercises/Assignments

Prolog Worksheet 3 (concluded)

April 29
In-class Quiz
Declarative Problem Solving with Prolog (Prolog Day 11)

Additional Elements of Prolog

Readings

if-then-else (LPN: Section 10.2)

Due: Prolog Worksheet 3

May 1 Declarative Problem Solving with Prolog (Prolog Day 12)

Project/Assignment
- A simplified Eliza program

Eliza Project (Prolog Version)

May 4 Declarative Problem Solving with Prolog (Prolog Day 13)

Questions, Administrivia
Prolog Notes

Eliza Project (Prolog Version)

May 6 Last Day of Class
Semester wrap up!

Discussion of Prolog program for Eliza Project

Due: Eliza Project (Prolog Version)
(Absolute deadline: 10:00 am PDT
submissions with email timestamp 10:01 am PDT or later not accepted)

May 8 Reading Period
Friday, May 8

CS 291	University of Puget Sound	Spring, 2020

Programming Language Paradigms:
Explorations with Functional Problem Solving (supported by Scheme/Haskell) and Declarative Prblem Solving (supported by Prolog)

created 24 June 2019 revised Summer-Fall 2019 Haskell, Prolog materials refined: Winter-Spring, 2020
For more information, please contact Henry M. Walker at walker@cs.grinnell.edu.