Project materials related to logic programming for interactive/reactive systems. - View it on GitHub