acubens% qprolog
Quintus Prolog Release 3.0 (Sun-4, SunOS 4.1)
Copyright (C) 1990, Quintus Computer Systems, Inc.  All rights reserved.
1310 Villa Street, Mountain View, California U.S.A. (415) 965-7700

| ?- [main].
% compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/main.pl
%  compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/lex.pl
%  lex.pl compiled in module user, 1.416 sec 5,304 bytes
%  compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/parser.pl
%  parser.pl compiled in module user, 1.250 sec 5,540 bytes
%  compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/constraints.pl
%  constraints.pl compiled in module user, 1.450 sec 5,424 bytes
%  compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/utils.pl
%  utils.pl compiled in module user, 1.150 sec 3,444 bytes
%  compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/io.pl
%  io.pl compiled in module user, 1.233 sec 4,360 bytes
%  compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/treetool.pl
%  treetool.pl compiled in module user, 1.250 sec 4,220 bytes
% main.pl compiled in module user, 8.066 sec 30,176 bytes

yes
| ?- gram(example).

yes
| ?- parse.
|: the cat eats the cookie on the table.

Parse Found at 9.05 secs.

Parse Found at 9.35 secs.
Edges Processed: 73

Done at 9.95 secs.

yes
| ?- +optimize.

yes
| ?- parse.
|: the cat eats the cookie on the table.

Parse Found at 3.267 secs.

Parse Found at 3.433 secs.
Edges Processed: 42

Done at 3.733 secs.

yes
| ?- +tracer.

yes
| ?- parse.
|: the cat walks.
initializing:  create inactive edge 1 ([the]), built from entry the.
initializing:  create inactive edge 2 ([cat]), built from entry cat.
initializing:  create inactive edge 3 ([walks]), built from entry walks.
predicter:  create inactive edge 4 ([walks]), built from edge(3) and rule(2).
predicter:  create active edge 5 ([walks]), built from edge(4) and rule(1).
predicter:  create active edge 6 ([walks]), built from edge(4) and rule(4).
predicter:  create inactive edge 7 ([cat]), built from edge(2) and rule(2).
predicter:  create active edge 8 ([cat]), built from edge(7) and rule(1).
predicter:  create active edge 9 ([cat]), built from edge(7) and rule(4).
completer:  create inactive edge 10 ([the,cat]), built from edge(1) and edge(8).
completer:  create inactive edge 11 ([the,cat,walks]), built from edge(10) and edge(5).

Parse Found at 0.484 secs.
Edge Number: 11
Edges Processed: 11

Done at 0.534 secs.

yes
| ?- pedge(1).

dtrs <  >
phon < the >
sem 
 indices <  >
 cont 
  quant the
  scope _3367
  index 
   var _3379
   restriction _3385
  rlt _3391
syn 
 loc 
  head 
   maj 
    n undef
    v undef
   min d
   form _3439
   inv minus
   aux _3451
   case _3457
   agr _3463
   heads <  >
  subcat <  >
  lex plus
 non_loc 
  inher 
   slash <  >
   rel <  >
   que <  >
  to_bind 
   slash <  >
   rel <  >
   que <  >
yes
| ?- -tracer,+printsem.

yes
| ?- parse.
|: the small cat walks.

Parse Found at 1.65 secs.

indices < 
 var _220527
 restriction 
  reln small
  arg1 _220527, 
 var _220527
 restriction 
  reln cat
  arg1 _220527 >
cont 
 quant 
  det the
  index 
   var _220527
   restriction 
    reln small
    arg1 _220527
 scope 
  reln walks
  arg1 _220527
Edges Processed: 15

Done at 0.75 secs.

yes
| ?- -printsem,+phrasal.

yes
| ?- parse.
|: the small cat walks.

Parse Found at 0.666 secs.

PSign Reconstructed at 1.083 secs.
Edges Processed: 15

Done at 1.15 secs.

yes
| ?- -phrasal,+explicit.

yes
| ?- parse.
|: the small cat walks.

Parse Found at 1.5 secs.
Edges Processed: 15

Done at 1.633 secs.

yes
| ?- -explicit.

yes
| ?- parse.
|: the good cat eats the small cookie on the table.

Parse Found at 6.067 secs.

Parse Found at 6.3 secs.

Parse Found at 6.75 secs.
Edges Processed: 61

Done at 6.983 secs.

yes
| ?- parse.
|: mary john loves.

Parse Found at 0.884 secs.
Edges Processed: 23

Done at 1.4 secs.

yes
| ?- parse.
|: the woman that loves john eats the cookie.

Parse Found at 3.1 secs.
Edges Processed: 71

Done at 7.35 secs.

yes
| ?- parse.
|: the woman john loves eats the cookie.

Parse Found at 3.783 secs.
Edges Processed: 58

Done at 5.45 secs.

yes
| ?- parse.
|: the woman on whom john relies eats the cookie.

Parse Found at 5.833 secs.
Edges Processed: 70

Done at 8.25 secs.

yes
| ?- parse.
|: john believes mary to give the cat the cookie on the table.

Parse Found at 8.283 secs.

Parse Found at 8.616 secs.
Edges Processed: 72

Done at 9.233 secs.

yes
| ?- [alt].
% compiling file /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/alt.pl
Procedure get_dtr/3 is being redefined in a different file - 
    Previous file: /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/utils.pl
    New file:      /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/alt.pl
Do you really want to redefine it? (y,n,p, or ? for help) y
Procedure get_all_dtrs/5 is being redefined in a different file - 
    Previous file: /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/utils.pl
    New file:      /tmp_mnt/home/dk2/ugg/HPSG-prolog/Distrib/alt.pl
Do you really want to redefine it? (y,n,p, or ? for help) y
% alt.pl compiled in module user, 0.250 sec 296 bytes

yes
| ?- lex(example2).

yes
| ?- parse.
|: john found mary.
Unknown word: found

Parse Found at 0.517 secs.
Edges Processed: 12

Done at 0.583 secs.

yes
| ?- parse.
|: the dog walks on the table.
Unknown word: dog

Parse Found at 1.783 secs.
Edges Processed: 28

Done at 2.0 secs.

yes
| ?- halt.
