CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

PROTEST: PROlog TESTer

lang/prolog/code/debug/protest/
PROTEST is a Pascal program that finds some kinds of typing errors in Prolog programs. Source code and an IBM PC executable are included.
Origin:   

   ai.uga.edu

Version: 28-OCT-88 Copying: Copyright (c) 1988 by Michael Covington. Use, copying, and distribution permitted. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Michael A. Covington Artificial Intelligence Programs The University of Georgia Athens, GA 30602-7415 U.S.A. Tel: 706-542-0359 Keywords: Authors!Covington, Debuggers, LINT for Prolog@{{\tt lint} for Prolog}, Pascal!Code, Prolog!Code, Prolog!Debuggers, Univ. of Georgia References: ?
Last Web update on Mon Feb 13 10:33:26 1995
AI.Repository@cs.cmu.edu