Place to put all the logic programs