Author: Syracuse University. Logic Programming Research Center