Logic Programming Using Matlab