kumar@ut-sally.UUCP (Vipin Kumar) (12/15/86)
The following Reports are available from The AI Lab at the University of Texas. For a copy please write to Chrissie Sawyer Artificial Intelligence Laboratory Computer Science Department University of Texas at Austin Austin, Texas 78712 Arpanet: ai.chrissie@r20.UTEXAS.EDU "An Intelligent Backtracking Scheme for Prolog" by Vipin Kumar and Yow-jian Lin, AI TR86- Artificial Intelligence Laboratory,University of Texas at Austin, December 1986 "A Framework for Intelligent Backtracking in Logic programs" by Vipin Kumar and Yow-jian Lin, AI TR86-36 Artificial Intelligence Laboratory,University of Texas at Austin, October 1986 "An Execution Model for Exploiting AND-parallelism in Logic programs" by Yow-Jian Lin and Vipin Kumar, AI TR86-34 Artificial Intelligence Laboratory,University of Texas at Austin, September 1986 "A Parallel Execution Scheme for Exploiting AND-parallelism of Logic Programs" by Yow-Jian Lin and Vipin Kumar, AI TR86-23 Artificial Intelligence Laboratory,University of Texas at Austin, March 1986 (Also appeared in 1986 Int'l Parallel processing Conf. proc.) "An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs" by Yowjian Lin, Vipin Kumar and Clement Leung, Artificial Intelligence Laboratory,University of Texas at Austin, March 1986, AI TR 86-22 (Also appeared in 1986 Int'l Logic Programming Conf. proc.)