?? primenum.pro
字號:
domains
int=integer
predicates
prime(int)
is_prime(int,int)
all_prime(int)
odd_integer(int)
test(int,int)
writes(int,int)
clauses
all_prime(N):-odd_integer(I),prime(I),
writes(I,N),write(" "),I>=N,!.
prime(2):-!.
prime(N):-N<2,!,fail.
prime(N):-is_prime(N,_).
is_prime(N,I):-0=(N mod 2),I=0,!,fail.
is_prime(N,I):-test(N,I),I=N.
test(N,I):-odd_integer(I),M=N mod I,M=0,!.
odd_integer(3).
odd_integer(N):-odd_integer(Y),N=Y+2.
writes(I,N):-I<=N,!,write(I).
writes(_,_).
goal
all_prime(100).
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -