來自：ywsing0
時間：Tue Jan 16 09:10:58 2007
要搵實有.
咁 singlog 既 syntax 又會同 prolog 差幾遠？
其實個差別都幾多, 玩玩下的野係咁, 喜歡的是那種思考方法.
member(E, [E|_]).
member(E, [_|T]) :- member(E, T).
? member(c, [a,b,c]).
member .E [.E,.T].
member .E [.H,.T] =| member .E .T.
? member a [a,b,c,].