Copyright (c) 1989-1996 by Gary T. Leavens. Permission is granted for you to make copies for educational and scholarly purposes, but not for direct commercial advantage, provided this notice appears on all copies. All other rights reserved. No guarantees or warranty for anything here. The lambda-prolog-code directory contains files for homeworks 15 and 16. The prisoners directory contains files for homework 17.