小编str*_*ony的帖子

我是SWI-Prolog的新手,我想检查Prolog的主要功能.

prime(N) :-
    N > 1,
    M is N - 1,
    check(N, M).

check(_, 1).
check(N, M) :-
    M > 1,
    R is N - M * N / M,
    R > 0,
    P is M - 1,
    check(N, P).

但是当我问2 + 2或其他运营商一样(*)/2,(/)/2......在序言这样说的:undefined procedure: (+)/2.我认为这是为了see或tell.我重新分配see(user),tell(user)但这个错误再次发生.为什么？