Logic Programming Using Matlab Stanford