odd thing in eclipse

Hiya, can anyone tell me why, given a fact of this type:

     num( 10, 25).

does eclipse allow this:

     [eclipse 1]:  X is num(Y).
     X = 25
     Y = 10

Other Prolog's I've used would give a domain error here.

Many thanks,
Aliy