CS 6715 Functional-Logic Programming

LECTURES


Syllabus
Assigns
Notes
Projects
Resources

Notes as PPT Slide Source    (as PDF)

Week 1

Jan 5
Overview



 

Week 2

Jan 12
Motivation

Data Flow Diagrams, Assign 0

 

Week 3

Jan 19
Intro

Intro
Hands-on Demo

 

Week 4

Jan 26
Terms


Terms, Assign 1

 

Week 5

Feb 2
Clauses


Clauses

 

Week 6

Feb 9
Recursion


Recursion, Assign 2

Assign 1 due

Week 7

Feb 16
Non-Determinism

Non-Determinism,
Assign 3

 

Week 8

Feb 23
Higher-Order Operations


Project Topics

Assign 2 due, Project Sketches

Week 9

Mar 2
RFML: XML-based FLP exchange


Functional RuleML: Standardising FLP

Assign 3 due

          mid-

term

break

 

Week 10

Mar 16
Project Proposal Presentations


Project Proposal Discussion

Final Project Proposals due

Week 11

Mar 23
Source-to-Source Transformation


Source-to-Source Transformation

 

Week 12

Mar 30
Interpreter Implementation


Interpreter Implementation

Initial Project Sources due

Week 13

Apr 6
Project Presentations


Project Presentations

Project Slides due

Week 14

Apr 13
Question-and-Answer Session



 

 

Apr 20
Final Exam 2:30 PM until 4:00 PM

 

 

 

Apr 27

 

Final Project Documentation due

 


Maintained by Harold Boley