Lifted Logic Computer