Logic Machines