PROGRAMS BY Long Logics