CMU Artificial Intelligence Repository
Prolog Standards Documents
lang/prolog/doc/standard/
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.
Origin:
Some files from ai.uga.edu.
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
AI.Repository@cs.cmu.edu