自定义Prolog谓词

Question

目前我正在努力编写以下谓词：

给出了从变量A和列表B构建列表的仿函数构建（A，B）。现在我想定义一个谓词isRemoved（C，LIST1，LIST2），如果LIST2等于没有C的LIST1，则该谓词为真。

一个例子是：

:= isRemoved( a, build(a, build(c, build(a, null))), build(c, null))  => TRUE

请你帮我吗？