?? listadd.bak
字號:
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).
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -