From grossd@ibm.net  Wed Mar  8 06:36:18 2000
Received: from mail1.rdc3.on.home.com (mail1.rdc3.on.home.com [24.2.9.40])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id GAA07341
	for <prolog@swi.psy.uva.nl>; Wed, 8 Mar 2000 06:36:17 +0100 (MET)
Received: from cr889345-a.yec1.on.wave.home.com ([24.114.56.22])
          by mail1.rdc3.on.home.com (InterMail v4.01.01.00 201-229-111)
          with SMTP
          id <20000308053631.SNXP19066.mail1.rdc3.on.home.com@cr889345-a.yec1.on.wave.home.com>;
          Tue, 7 Mar 2000 21:36:31 -0800
Received: by localhost with Microsoft MAPI; Wed, 8 Mar 2000 00:32:49 -0800
Message-ID: <01BF8895.D4FE3F40.grossd@ibm.net>
From: Daniel Gross <grossd@ibm.net>
Reply-To: "gross@fis.utoronto.ca" <gross@fis.utoronto.ca>
To: "'Prolog Programming Group'" <prolog@oz.net>
Cc: "'Prolog list'" <prolog@swi.psy.uva.nl>
Subject: RE: reading a text file ..
Date: Wed, 8 Mar 2000 00:32:48 -0800
X-Mailer: Microsoft Internet E-mail/MAPI - 8.0.0.4211
Encoding: 322 TEXT

Hi  :-)

In fact I took Richards response in very good spirit, and had my thought 
that here is someone who really cares to do things "right", that is, to use 
the language facilities as its designer intended it, or as others, who have 
discovered its good practices over the years. Using design (the prolog 
language design in this case) as it is intended to be used, is in 
particular dear to my heart, since my Ph.D work is about modeling 
software/systems designers intentions in order to use/reuse design 
properly.

My "mental picture" of prolog is very basic (a bunch of facts, recursive 
definitions, pattern matching and backtracking), so i tend to reduce every 
problem to its basic facts and then provide rules over them. I know that 
there are powerful facilites (in particular for doing parsing), however, my 
Phd clock is ticking and i must focus elsewhere to get things done. I, 
therefore, surely welcome such good practices that Richard and others are 
willing to offer, so i can quickly gather those nuggets and refine my 
program code.

thanks for your concern and response :-)

Daniel

ps. BTW, I suppose that i now also realized why Term lists are better than 
facts for storing the parsed data, since when representing these structures 
as facts, i will need to recreate them into lists anyway again, when 
wishing to transverse them later in the program (although i will not need 
to deal with files (reading char by char) anymore).

-----Original Message-----
From:	Prolog Programming Group [SMTP:prolog@oz.net]
Sent:	Thursday, January 07, 1999 8:12 PM
To:	gross@fis.utoronto.ca
Subject:	Re: reading a text file ..

hehe!  Richard O'Keefe schools me all too often over the newsgroup :>

He has written classic C++ books.  As well as the author of many search and
parsing libraries for languages and compilers.  He is one of the greatest
computer science minds there is of our time (in my opinion).  Its a great
personal honor to get flamed by Mr O'Keefe!!  I work for a large software
design company (Microsoft).. One morning I get in and its a small novel by
him about why *my* code sucked!! Haha.. I mentioned it to some colleges and
they got excited not because of his criticism of me, but 'WHO' he is!! :)
And hey your response for him was a few lines longer then mine (i am 
writing
you out of jealousy not concern)

I figured you looked at it this way.. but just wanted to let you know that
fellows of the prolog group did not in anyway think any less of your
questions.  nor are they are overly newbie.. i have been a prolog 
programmer
for 8 yrs and every week look back at my code.. and still see gradual
improvements. Thus could very well slap myself around as easily for last
year's code as i could my first year's code now.  Prolog is a very Zen
language.. I use it in my work because It cant be worn out.. it transcends
time and technology.  Your code is only as powerful as your mind and grows
with it on a linear level.

We are very blessed to be re-orificized time to time by his honor.  Welcome
it.. Use it.. if he willing to gripe at you .. he is only sharing some of
his immortality. I probly sound like a goof, but that man *is* a modern day
Buddha.. or perhaps Jesus in the mists of us money changers.


----- Original Message -----
From: "Daniel Gross" <grossd@ibm.net>
To: "'Richard A. O'Keefe'" <ok@atlas.otago.ac.nz>
Cc: "'Prolog list'" <prolog@swi.psy.uva.nl>
Sent: Tuesday, March 07, 2000 9:03 PM
Subject: RE: reading a text file ..


> Dear Richard,
>
> I appreciate very much your response. I demonstrates to me how little I 
in
> fact know about the "spirit" of prolog. In fact i am asking myself 
whether
> it is a good idea to propose writing a prototype implementation of my phd
> research in prolog. Perhaps it is, but it will add to the challenge the
> proper use of prolog as a prototyping tool.
>
> I was wondering if i could ask you the following. I dont have the book
> handy to check how to tokenize the input file so it could be used by the
> parser. Do you perhaps know of  some prolog library form where i could
> fetch myself that sample code ...
>
> again appreciating very much your response
>
> Daniel
>
>
> -----Original Message-----
> From: Richard A. O'Keefe [SMTP:ok@atlas.otago.ac.nz]
> Sent: Tuesday, March 07, 2000 2:55 PM
> To: gross@fis.utoronto.ca; prolog@swi.psy.uva.nl
> Subject: Re:  reading a text file ..
>
> Daniel Gross wrote
> that he wants to parse input that is made of a series of
> fairly conventional tokens.
>
> In order to make my life easy (i thought) i read in line by line and
> translate each line into a prolog clause.
>
> I cannot imagine why anyone would expect that to make life easy,
> UNLESS end of line is itself a highly significant token, and not
> terribly easy then, except perhaps for parsing old Dartmouth BASIC.
>
> There are basically three sensible levels of reading for something
> like this, regardless of what programming language you are using.
>
> 1.  Read one token at a time.
>     This is how YACC-derived parsers work.
>
> 2.  If the grammar you are parsing is like
>     <input> ::= <top level form>* <end of file>
>     and each <top level form> ends with a token having no other use,
>     then it is easy and natural and useful to read one <top level form>
>     at a time, returning it as a list of tokens.
>     This fits Prolog and Erlang quite well, where the token that
>     ends a top level form is '. '.
>     This is how the Prolog parser works.
>
> 3.  Read the _entire_ input as a list of tokens.
>     This is how the Erlang parser works.  It's the obvious way to
>     handle Pascal in Prolog.
>
> You will find a Prolog tokeniser written in Prolog in the book
> "The Craft of Prolog".  It should be easy to adapt to your problem.
> An updated version of the tokeniser was in the Quintus library.
>
> But the major point is WHY ON EARTH PUT THESE THINGS INTO CLAUSES?
> If you want to parse something in Prolog, you want to use a DCG (although
> you might possibly want a non-standard translation of DCGs).  And DCGs
> don't want *clauses*, they want *lists*.
>
> I managed to do all the work just when i wish to translate Comma
> seperated (sic) lists of (sic) into lists.i found it quite
> complicated.  Is there a simple way to do that.  In general is
> there an easy way to parse such structures into prolog facts.
>
> DON'T even THINK of trying to "parse such structures into Prolog facts".
> What you want to do is parse them into TERMS, a very different kind of
> animal indeed.
>
> The DEC-10 Prolog parser was broadcast to the net many years ago.
>
> It would be useful to know more precisely what you mean by
> "Comma separated lists of".  I shall assume that you mean
>
> <foo list> ::= <foo> [',' <foo list>]
>
> Let's suppose that you have a nonterminal foo//1 that parses a <foo>
> and returns its translation.  Then
>
> foo_list([Foo|Foos]) -->
>     foo(Foo),
>     (   [','], foo_list(Foos)
>     ;   {Foos = []}
>     ).
>
> It could hardly be simpler.
> ***IF*** your grammar is in fact LL(1), you may turn this into an
> if-then-else:
>
> foo_list([Foo|Foos]) -->
>     foo(Foo),
>     (   [','] -> foo_list(Foos)
>     ;   {Foos = []}
>     ).
>
> but you would be surprised how often this turns out to be a bad idea.
>
>
> Your top level will look like
>
>     parse_file(File, AST) :-
> seeing(Old),
> see(File),
> read_all_tokens(Tokens),
> seen,
> see(Old),
> well_formed_input(AST, Tokens, []).
>
>     well_formed_input(AST) -->
> ...
>
> Reading an entire file into memory sounds a bit scary, so here
> are some numbers.  All of the *.pl files in the library/ directory
> of SWI Prolog 2.9.10 come to
>
>     198989  characters  (about 91 characters per clause, mean)
>     177848  characters after stripping out comments and blank lines
>       5634  lines
>       2186  clauses
>      34646  tokens      (about 16 tokens per clause, mean)
>         29  files
>
> This is a rather higher number of tokens per line than you will be
> dealing with.  But it's not an unreasonable number of tokens to hold
> as a list.
>
> Let's look at your examples.
>
> Token SerializedViewObject_0_1
>     IN SerializedObject
>     WITH
>         attribute, type
>              : "OME.GraphicView$GVERecord"
>         attribute
>             x : 323
>         attribute
>             y : 301
>         attribute
>             ID : 1
> END
>
> It looks very much as though your input falls into the second category
> above, with 'END' as a <top level form> terminator.  So let's assume 
that.
>
> token_form(token(Name,In,With)) -->
> [id('Token'),id(Name)],
> in_part(In),
> with_part(With).
>
> in_part(Names) --> [id('IN')], !, name_list(Names).
> in_part([])    --> [].  % Include this iff an IN part is optional.
>
> name_list([Name|Names]) -->
> [id(Name)],
> (   [','] -> name_list(Names)
> ;   {Names = []}
> ).
>
> with_part(Atts) --> [id('WITH')], !, att_seq(Atts).
> with_part([]) --> ['END'].  % include this iff a WITH part is optional.
>
> att_seq([]) --> ['END'].
> att_seq([Att|Atts]) --> one_att(Att), att_seq(Atts).
>
> one_att(att(Names,OptName,Value)) -->
> name_list(Names),
> (   [id(X),':'] -> {OptName = id(X)}
> ;   [':']       -> {OptName = no_id}
> ),
> (   [string(S)] -> {Value = string(S)}
> ;   [number(N)] -> {Value = number(S)}
> ).
>
> This hasn't been tested, but the intent was that this example would
> turn into the *TERM*
>
> token('SerializedViewObject_0_1',
>       ['SerializedObject'],
>       [att(['attribute','type'],
>    no_id, string("OME.GraphicView$GVERecord")),
>        att(['attribute'], id('x'),  number(323)),
>        att(['attribute'], id('y'),  number(301)),
>        att(['attribute'], id('ID'), number(1))])
>
> SimpleClass IStarRoleElement
>     IN OMEInstantiableClass, IStarActorElementClass
>     ISA IStarActorElement
>     WITH
>         attribute, imagesize
>             height : 80
>         attribute, imagesize
>             width : 80
>         attribute, imagename
>              : "Role.gif"
>         attribute, name
>              : "Role"
> END
>
> class(class(Name,In,Isa,With)) -->
>     [id('SimpleClass'),id(Name)],
>     in_part(In),
>     isa_part(Isa),
>     with_part(With).
>
> isa_part(Names) --> [id('ISA')], !, name_list(Names).
> isa_part([]) --> [].  % include only if the ISA part is optional.
>
> I leave the translation of this example as an exercise for the reader.
>
> Note that this is MUCH easier than any imaginable hack that reads lines
> and stores them as clauses.
>
>
> ----------------
> * To UNSUBSCRIBE, please use the HTML form at
>
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/index.html#mailinglist
>
> or send mail to prolog-request@swi.psy.uva.nl using the Subject:
> "unsubscribe"
> (without the quotes) and *no* message body.
>
> ** An ARCHIVE of this list is maintained at
>
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/mailinglist/archive/
>
>
>
> ----------------
> * To UNSUBSCRIBE, please use the HTML form at
>
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/index.html#mailinglist
>
> or send mail to prolog-request@swi.psy.uva.nl using the Subject:
"unsubscribe"
> (without the quotes) and *no* message body.
>
> ** An ARCHIVE of this list is maintained at
>
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/mailinglist/archive/
>
>

