关系算子的prolog描述.pptVIP

关系算子的PROLOG描述 第三组 要点 表示Prolog的关系算子操作对象 定义Prolog上的关系算子 实现Prolog上的关系算子 关系算子操作对象的表示 关系算子作用于集合上。集合例子： P = {a, b, c, d} Fruit = {apple, banana, orange, peach, watermelon} Language = {Chinese, Japanese, French, English, Spanish} Prolog关系算子对象表示：List。对应例子： P = [a, b, c, d]. Fruit = [apple, banana, orange, peach, watermelon]. Language = [chinese, japanese, french, english, spanish]. 关系算子的定义 传统集合的关系算子 并运算 交运算 差运算 补运算 笛卡尔乘积 Prolog的关系算子定义 并运算 交运算 差运算 补运算 笛卡尔乘积 并运算定义 集合的并运算 Prolog的并运算定义 List R S， Prolog并运算实现思想 算法思想： 对于两个List A和B的并运算，结果包括两部分： 1、List A中所有的元素； 2、List B中所有不包含A的元素。 递归思路： 1、当B中无任何元素，结构为A。 2、对于B中的头元素，假如其属于A，则舍弃，不属于则加到结果中。接着继续处理B=B-BHead的情况。 Prolog并运算算法实现 %method 1 uni(A,[],A). uni(A,[Hb|Tb],[Hb|Tc]):-uni(A,Tb,Tc), not(member(Hb,A)). uni(A,[Hb|Tb],Tc):-uni(A,Tb,Tc), member(Hb,A). %method 2 uni(A,B,C):-union(A,B,C). 并运算实例 Example 1: Alike=[apple, orange, peach, watermelon] Blike= [orange, peach, banana] X = [banana, apple, orange, peach, watermelon] ?- uni([apple, orange, peach, watermelon], [orange, peach, banana],X). Example 2: Alearn = [chinese, japanese] Blearn = [chinese,french, english, spanish] X = [french, english, spanish, chinese, japanese] ?- uni([chinese, japanese],[chinese,french, english, spanish],X). 交运算定义 集合的交运算 Prolog的交运算定义 List R S， Prolog交运算实现思想 递归思路： 1、对于B为[ ]的情况，不论A为何值，并的结果为[ ]。 2、对于B不为[ ]的情况，若其头元素属于A中，将其放入结果中，否则舍弃；接着继续处理B＝B-BHead的情况。 Prolog交运算算法实现 %method 1 myintersection(A,[],[]). myintersection(A,[Hb|Tb],[Hb|Tc]):-myintersection(A,Tb,Tc), member(Hb,A). myintersection(A,[Hb|Tb],Tc):-myintersection(A,Tb,Tc), not(member(Hb,A)). %method 2 Myintersection(A,B,C):-intersection(A,B,C). 交运算实例 Example 1: Alike=[apple, orange, peach, watermelon] Blike= [orange, peach, banana] X = [orange, peach] ?- myintersection([apple, orange, peach, watermelon], [orange, peach, banana],X). Example 2: Alear