Prolog uses powerful logic to deftly control data