Logic Control with Logic