interactive-lp. Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.