Logic Interface

Preliminary version of the Logic Interface.