?? listadd.pro
字號:
domains
list=integer*
int=integer
predicates
adder(list,int)
add1(list,int,int)
clauses
adder(T,S):-add1(T,0,S).
add1([],S,S).
add1([H|T],X,S):-A=X+H,add1(T,A,S).
goal
write("Please input list:"),nl,
write("X= "),readterm(list,X),
adder(X,R),write("Result=",R).
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -