Success: use_module(library(check)). use_module('/use/local/eclipse/lib/check'). [eclipse 2]: X::1..10. syntax error: postfix/infix operator expected | X::1..10. | ^ here [eclipse 2]: use_module(library(domain)). /usr/local/eclipse/lib/structures.pl compiled optimized 2532 bytes in 0.05 seconds /usr/local/eclipse/lib/domain.sd compiled optimized 50328 bytes in 1.13 seconds yes. [eclipse 3]: X::1..10. X = X :: [1 .. 10] yes. Error: use_module(M). (Error 4). use_module(file(f)). (Error 5).