Warning: No rules/facts defined for relation H in file rule_typecompat.dl at line 5
.decl H (t:T)
------^-------
Warning: No rules/facts defined for relation B in file rule_typecompat.dl at line 7
.decl B (s:S)
------^-------
Warning: No rules/facts defined for relation C in file rule_typecompat.dl at line 8
.decl C (q:Q)
------^-------
Warning: No rules/facts defined for relation D in file rule_typecompat.dl at line 9
.decl D (r:R)
------^-------
Warning: No rules/facts defined for relation E in file rule_typecompat.dl at line 10
.decl E (r:R, s:S)
------^------------
Error: Atom's argument type is not a subtype of its declared type in file rule_typecompat.dl at line 15
A(x) :- B(x).
--^-----------
The argument's declared type is T in file rule_typecompat.dl at line 6
.decl A (t:T)
-----------^--
Error: Unable to deduce type for variable x in file rule_typecompat.dl at line 18
A(x) :- F(x,x).
--^-------------
Following constraints are incompatible:
   Type of variable 'x' should be a subtype of 'R' in file rule_typecompat.dl at line 18
A(x) :- F(x,x).
--------^-------
   Type of variable 'x' should be a subtype of 'T' in file rule_typecompat.dl at line 18
A(x) :- F(x,x).
--------^-------
Warning: Variable y only occurs once in file rule_typecompat.dl at line 20
A(x) :- F(y,x).
----------^-----
Error: Unable to deduce type for variable x in file rule_typecompat.dl at line 23
A(x) :- G(x,x).
--^-------------
Following constraints are incompatible:
   Type of variable 'x' should be a subtype of 'R' in file rule_typecompat.dl at line 23
A(x) :- G(x,x).
--------^-------
   Type of variable 'x' should be a subtype of 'T' in file rule_typecompat.dl at line 23
A(x) :- G(x,x).
--------^-------
Warning: Variable y only occurs once in file rule_typecompat.dl at line 25
A(x) :- G(x,y).
------------^---
Error: Atom's argument type is not a subtype of its declared type in file rule_typecompat.dl at line 28
G(x,x) :- A(x).
----^-----------
The argument's declared type is R in file rule_typecompat.dl at line 12
.decl G (t:T, r:R)
----------------^--
Error: Ungrounded variable y in file rule_typecompat.dl at line 30
G(x,y) :- A(x).
----^-----------
Error: Unable to deduce type for variable x in file rule_typecompat.dl at line 33
A(x) :- B(x), C(x).
--^-----------------
Following constraints are incompatible:
   Type of variable 'x' should be a subtype of 'Q' in file rule_typecompat.dl at line 33
A(x) :- B(x), C(x).
--------------^-----
   Type of variable 'x' should be a subtype of 'S' in file rule_typecompat.dl at line 33
A(x) :- B(x), C(x).
--------^-----------
Warning: Variable y only occurs once in file rule_typecompat.dl at line 36
A(x) :- A(x), B(y), C(z).
----------------^---------
Warning: Variable z only occurs once in file rule_typecompat.dl at line 36
A(x) :- A(x), B(y), C(z).
----------------------^---
Error: Atom's argument type is not a subtype of its declared type in file rule_typecompat.dl at line 39
F(x,y) :- F(x,z), G(z,y).
----^---------------------
The argument's declared type is T in file rule_typecompat.dl at line 11
.decl F (r:R, t:T)
----------------^--
Error: Ungrounded variable y in file rule_typecompat.dl at line 41
F(x,y) :- F(x,z), G(z,x).
----^---------------------
Error: Unable to deduce type for variable v in file rule_typecompat.dl at line 47
F(x,y) :- F(x,v), F(w,y), A(v), D(v).
--------------^-----------------------
Following constraints are incompatible:
   Type of variable 'v' should be a subtype of 'R' in file rule_typecompat.dl at line 47
F(x,y) :- F(x,v), F(w,y), A(v), D(v).
--------------------------------^-----
   Type of variable 'v' should be a subtype of 'T' in file rule_typecompat.dl at line 47
F(x,y) :- F(x,v), F(w,y), A(v), D(v).
----------^---------------------------
Warning: Variable w only occurs once in file rule_typecompat.dl at line 47
F(x,y) :- F(x,v), F(w,y), A(v), D(v).
--------------------^-----------------
Warning: Variable v only occurs once in file rule_typecompat.dl at line 48
F(x,y) :- F(x,v), F(w,y), A(w), D(w).
--------------^-----------------------
Error: Unable to deduce type for variable w in file rule_typecompat.dl at line 48
F(x,y) :- F(x,v), F(w,y), A(w), D(w).
--------------------^-----------------
Following constraints are incompatible:
   Type of variable 'w' should be a subtype of 'R' in file rule_typecompat.dl at line 48
F(x,y) :- F(x,v), F(w,y), A(w), D(w).
------------------^-------------------
   Type of variable 'w' should be a subtype of 'T' in file rule_typecompat.dl at line 48
F(x,y) :- F(x,v), F(w,y), A(w), D(w).
--------------------------^-----------
Error: Unable to deduce type for variable v in file rule_typecompat.dl at line 49
F(x,y) :- F(x,v), F(w,y), A(w), D(v).
--------------^-----------------------
Following constraints are incompatible:
   Type of variable 'v' should be a subtype of 'R' in file rule_typecompat.dl at line 49
F(x,y) :- F(x,v), F(w,y), A(w), D(v).
--------------------------------^-----
   Type of variable 'v' should be a subtype of 'T' in file rule_typecompat.dl at line 49
F(x,y) :- F(x,v), F(w,y), A(w), D(v).
----------^---------------------------
Error: Unable to deduce type for variable w in file rule_typecompat.dl at line 49
F(x,y) :- F(x,v), F(w,y), A(w), D(v).
--------------------^-----------------
Following constraints are incompatible:
   Type of variable 'w' should be a subtype of 'R' in file rule_typecompat.dl at line 49
F(x,y) :- F(x,v), F(w,y), A(w), D(v).
------------------^-------------------
   Type of variable 'w' should be a subtype of 'T' in file rule_typecompat.dl at line 49
F(x,y) :- F(x,v), F(w,y), A(w), D(v).
--------------------------^-----------
Warning: Variable w only occurs once in file rule_typecompat.dl at line 52
F(x,y) :- F(x,v), F(w,y), !H(v), !D(v).
--------------------^-------------------
Warning: Variable v only occurs once in file rule_typecompat.dl at line 53
F(x,y) :- F(x,v), F(w,y), !H(w), !D(w).
--------------^-------------------------
Error: Unable to deduce type for variable x in file rule_typecompat.dl at line 57
F(x,y) :- F(x,y), x > y.
--^----------------------
Following constraints are incompatible:
   var(y) <: var(x)
Error: Unable to deduce type for variable y in file rule_typecompat.dl at line 57
F(x,y) :- F(x,y), x > y.
----^--------------------
Following constraints are incompatible:
   var(x) <: var(y)
Error: Unable to deduce type for variable v in file rule_typecompat.dl at line 59
F(x,y) :- F(x,v), F(w,y), w != v.
--------------^-------------------
Following constraints are incompatible:
   var(w) <: var(v)
Error: Unable to deduce type for variable w in file rule_typecompat.dl at line 59
F(x,y) :- F(x,v), F(w,y), w != v.
--------------------^-------------
Following constraints are incompatible:
   var(v) <: var(w)
Error: Ungrounded variable t in file rule_typecompat.dl at line 62
F(x,y) :- F(x,y), x > t.
----------------------^--
Warning: Variable t only occurs once in file rule_typecompat.dl at line 62
F(x,y) :- F(x,y), x > t.
----------------------^--
Error: Ungrounded variable t in file rule_typecompat.dl at line 63
F(x,y) :- F(x,y), t < x.
------------------^------
Warning: Variable t only occurs once in file rule_typecompat.dl at line 63
F(x,y) :- F(x,y), t < x.
------------------^------
18 errors generated, evaluation aborted
