ICLP First Term notes from lectures