?? ch10ex02.pro
字號(hào):
/*
Turbo Prolog 2.0 Chapter 10, Example Program 2
Copyright (c) 1986, 88 by Borland International, Inc
*/
trace
domains
list = element*
element = symbol
predicates
member(element, list)
go(list)
clauses
member(X, [X|_]).
member(X, [_|T]) :- member(X,T).
go(X) :- member(Y, X) ,
write(Y,"\n") ,
fail.
go(X) :- member(l, X), write("True\n"), ! ;
write("False\n").
goal
go( [p,r,o,l,o,g] ).
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -