如何在Scheme中進行模式匹配？

Question

有沒有人有一個想法如何在這兩個（？x住在？城市）（約翰住在紐約）在計劃模式匹配？

我試過使用匹配定義，但我沒有成功。

Answer 1

我猜你的意思是模式匹配。對於這個問題的一般解決方案，考慮實施Unification Algorithm，在SICP中描述了一個完整的工作解決方案。或者，考慮在代碼中嵌入miniKANREN，這是一個簡單的邏輯編程系統，可與Scheme協同工作。

現在，對於更簡單的比賽，您可以使用球拍的Pattern Matching技能。對於問題的例子：

(define expression '(john lives-in new-york)) 

(match expression 
    [(list ?x 'lives-in ?city) (list ?x ?city)] 
    [_ #f]) 

=> '(john new-york) 

上面將匹配靠在(?x lives-in ?city)圖案給定表達式，返回與所匹配的值的列表爲?x和?city，或#f如果沒有找到匹配。