Re: ANSI standards and knowledge representation

Gio Wiederhold <gio@arpa.mil>

Mail folder: SRKB Mail
Next message: Gio Wiederhold: "Re: ANSI standards and knowledge representation"
Previous message: Erik Sandewall: "ANSI standards and knowledge representation"
In-reply-to: Erik Sandewall: "ANSI standards and knowledge representation"

Date: Sat, 20 Aug 94 22:20:41 EDT
From: Gio Wiederhold <gio@arpa.mil>
To: Erik Sandewall <ejs@ida.liu.se>
Cc: ansi@t.uoregon.edu
Subject: Re: ANSI standards and knowledge representation
In-reply-to: Your message of Thu, 18 Aug 94 17:41:10 +0200
Message-id: <CMM.0.90.10.777435641.gio@next>
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

Folks,
 I am amazed that LATEX is being prposed.  It is a batch language,
with pervasive stae information, making it hard to manipulate piecewise.
Furthermore. LATEX is just a (very large) macro set on top of TeX.

 can be sympathetic to a language that is first order plus:
  1. well principled extnsions to allow qualification of various types (i.e.
some me