Wed Mar  3 14:21:41 1993 JC

This file documents
i)  changes to HPSG-PL in its integratation with Pleuk
ii) changes and reconciliations between the distributed version of
HPSG-PL 1.2 and the system used for SystemX grammar development as of
3rd March.  

Copied files 

constraints.pl
demo8.lex
demo8.typ
io.pl
lex.pl
main.pl
parser.pl
rogers.pl
rogers2.pl
server.pl
th.pl
treetool.pl
utils.pl

from /sx/HPSG/PL

Added Makefile, configure, hpsg.pl, hpsgprint.pl

The following definitions are overridden with the Rogers 
stuff in. 

writesem/1
order/{2,5}
order_comps/2
combine/4
get_dtr/3
tugtree/2
parse/4
get_char/1
clear_edges/0

[Mon Mar 29 12:56:42 1993 It turns out that only the following should
really be in this list:

writesem/1
order/2
get_dtr/3
tugtree/2
]


Two changes to lex.pl which represent bug fixes, rather than
alterations for Pleuk:

complete/1 made more general.  Before it would fail if ideal_sign/2
was defined so as to include constraints.  

convert/3  Altered the clause to do with parameterized templates. This
used to evaluate the result of conversion, but this behaviour is
patently wrong in the case of variables.  It only worked before
because of sheer luck.  

Mon Mar 15 16:41:22 1993

lex.pl: Additions to handle .abs files and compatibility with Pleuk.

Added hpsgpleukvars.pl containing all Pleuk variable definitions and a
link to the flag system of HPSG-PL.  Successful compilation under both
standalone and Pleuk systems, in non-lisp mode, resulting in
alphabetic variant compilations in all relevant respects.


Mon Mar 29 12:49:01 1993

Fred says that rogers2.pl is really dead code.  Renamed variable
`rogers' to `SystemX mode'.   Renamed all code starting `rogers_' to
`sx_'. Likewise for th.pl

There was in effect a routine called -/2, given the definitions

feature-name(Name-_, Name) :- !.
feature-name(Name, Name).

This has been renamed to feature_name/2 in lex.pl and hpsg.pl

Reconciliation between 1.2 and /sx/HPSG/PL

All cases where the file lex.pl differs from ~ugg/HPSG-prolog/lex.pl
have been analyzed and documented.  

Relative to the distribution, constraints.pl has an extra clause
allowing select/2 to appear as a constraint. 

Relative to the distribution, parser.pl has the SystemX ``compound
word'' behaviour; it has abbreviations for SystemX; and it has a
number of parse/n+1, where the last argument is unused (it's meant to
be a result, but the relevant procedures always fail and results are
stored in the database for later extraction).

~ugg/HPSG-prolog/Distrib/rogers.pl differs pretty radically from
/sx/HPSG/PL/rogers.pl and it seems that the latter is the file that
will have been updated to reflect changes in SystemX.  The latter file
has been taken over in its entirety, with the addition of one dynamic
statement (the first in the file).  

utils.pl only three differences.  The distribution has retractall/1 in
the definition of nolook/1, which seems correct.  The definition of
lookup/3 in the non-distribution version checks that a word is not a
compound before reporting an unknown word.  The distribution contains
an additional clause (the third), which claims to be a treatment of
lexical phrases.  There is no support for this in the remainder of the
system (it requires the segmentation of strings into lists), and so it
has been left commented out in the final version.  

treetool.pl had just one difference, xtreetool was called in place
of treetool.  1.2.2 calls xtreetool. 

io.pl is the file with the largest number of differences, at least
superficially.  The 1.2 version has one strange thing in it.  A call
`abolish(indexvar)' (should be `abolish(indexvar, 1)'?).  Changed with
an additional dynamic statement.  

Fred's advice is that the other changes were made just prior to the
COLING 92 demo and that they should in general remain in place.

Tue Mar 30 13:10:02 1993 JC

Renamed file rogers.pl to systemx.pl, to reflect the fact that it is
general SystemX code and not rogers specific.  

Byte-for-byte identical throughput achieved for grammars `env',
`demo8' and `demo10', on all items except incorrect abbreviations.

Wed Mar 31 11:23:56 1993 JC

Reconciled correct abbreviation treatment from /sx/HPSG/PLl in lex.pl
Real byte-for-byte identical throughput achieved for grammars `env',
`nserc', `demo8' and `demo10'.  

/sx/HPSG/Changes seems to be a subset of Distrib/Changes.1.2.  Copied
and renamed to Changes0.


