Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!ut-sally!kumar
From: kumar@ut-sally.UUCP (Vipin Kumar)
Newsgroups: comp.lang.prolog
Subject: Tech reports
Message-ID: <6580@ut-sally.UUCP>
Date: Sun, 14-Dec-86 17:08:28 EST
Article-I.D.: ut-sally.6580
Posted: Sun Dec 14 17:08:28 1986
Date-Received: Tue, 16-Dec-86 03:17:52 EST
Organization: U. Texas CS Dept., Austin, Texas
Lines: 38
Keywords: intelligent backtracking, parallel execution   models


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.)