?? fouth.pro
字號:
domains
sylist=symbol*
predicates
palin(sylist)
reverse(sylist,sylist)
append(sylist,sylist,sylist)
clauses
palin([]).
palin([X|[Y,X]]).
palin([X|L]):-
reverse(L,[X|M]),palin(M).
reverse([],[]).
reverse([Head|Tail],Result):-
!,
reverse(Tail,Temp),
append(Temp,[Head],Result).
append([],List,List).
append([Head|List1],List2,[Head|Rest]):-
append(List1,List2,Rest),!.
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -