Twelf 1.5R3, Aug 30, 2005 (%trustme)
%% OK %%
[Opening file /home/www/twelf/hcode/1ac9d4ec666e61c10bf8f65a3a1ee768]
node : type.
a : node.
b : node.
c : node.
d : node.
e : node.
f : node.
g : node.
h : node.
edge : node -> node -> type.
ab : edge a b.
ac : edge a c.
bc : edge b c.
bd : edge b d.
cd : edge c d.
ce : edge c e.
de : edge d e.
df : edge d f.
fg : edge f g.
path : node -> node -> type.
%tabled path.
path/link : {A:node} {B:node} edge A B -> path A B.
path/refl : {A:node} {B:node} path A B -> path B A.
path/trans : {A:node} {B:node} {C:node} path A B -> path B C -> path A C.
%querytabled * *
path a g.

---------- Solutions 1 ----------
Empty Substitution. 
path/refl path/trans path/refl path/link ab path/refl path/trans path/link fg path/refl path/trans path/link ab path/refl path/trans path/link df path/trans path/link bd path/link ab  
D =
   path/refl
      (path/trans
          (path/refl
              (path/trans
                  (path/refl
                      (path/trans
                          (path/refl
                              (path/trans
                                  (path/trans (path/link ab) (path/link bd))
                                  (path/link df)))
                          (path/link ab)))
                  (path/link fg)))
          (path/refl (path/link ab))).
More solutions?

 ====================== Stage 1 finished =================== 

 ====================== Stage 2 finished =================== 

 ====================== Stage 3 finished =================== 

 ====================== Stage 4 finished =================== 

____________________________________________

number of stages: tried * 
terminated after 4 stages 
 
Tabled evaluation COMPLETE 
 

____________________________________________


 Table Indexing parameters: 

       Table Strategy := Variant 

       Strengthening := false 

Number of table indices : 64
Number of suspended goals : 849

____________________________________________

%querytabled * *
path a h.

 ====================== Stage 1 finished =================== 

 ====================== Stage 2 finished =================== 

 ====================== Stage 3 finished =================== 

 ====================== Stage 4 finished =================== 

 ====================== Stage 5 finished =================== 

____________________________________________

number of stages: tried * 
terminated after 5 stages 
 

NO solution exists to query 

Tabled evaluation COMPLETE 
 

____________________________________________


 Table Indexing parameters: 

       Table Strategy := Variant 

       Strengthening := false 

Number of table indices : 80
Number of suspended goals : 963

____________________________________________

[Closing file /home/www/twelf/hcode/1ac9d4ec666e61c10bf8f65a3a1ee768]
%% OK %%