Functional-Logic Programming - Lecture Notes - Harold Boley Harold Boley NRC-IIT Fredericton University of New Brunswick CS 6715 FLP 11 April 2010.