CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Prolog Standards Documents

This directory contains d7.tar December 1991 draft ISO Prolog standard (Includes iso.sty style file and TeX source.) d8.tar March 1993 draft ISO Prolog standard (Committee Draft ISO/IEC 13211-1) (PostScript only.) summary.tar Informal/unofficial summary of the draft by Michael Covington (PostScript and LaTeX.) 2-AUG-94 okeefe.txt R.A. O'Keefe's 23-JUL-84 original draft Prolog standard in Scribe.

   Some files from

Updated: Wed Aug 31 22:06:37 1994 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Roger Scowen (ISO/IEC JTC1 SC22 WG17 Prolog convener) DITC/93, National Physical Laboratory, Teddington, Middlesex, Great Britain TW11 0LW Tel: +44 81 943 6956 Fax: +44 81 977 7091 Keywords: Authors!Scowen, ISO Prolog, Prolog, Prolog!Documents, Prolog!Standards, Standards!Prolog References: ?
Last Web update on Mon Feb 13 10:34:16 1995