cerca2

domains
 intero = integer
 reale = real
predicates
 intero1 (intero,intero)
 reale1 (reale,reale)
clauses
 intero1 (10,2).
 intero1 (30,50).
 reale1 (12.3,456.7).
   

Goal: intero1(10,2)
True
Goal: intero1(30,50)
True
Goal: intero1(4,8)
False
Goal: reale1(12.3,456.7)
True
Goal: reale1(1,2)
False
Goal: