Programming Using Logic