Title: Unity of Logic and Computation