在謂詞Prolog中進行功能檢查對象

Question

我最近開始學習Prolog，並且對謂詞和函數有疑問。我怎麼能寫一個函數，它會檢查是否在謂詞對象是另一個謂詞例如：

vertex(a). 
edge(l,k,-1). 
edge(k,l,4). 
edge(a,z,-2). 
checkEdges(edge(X,Y,_)) :- vertex(X),vertex(Y) 

P.S我怎樣才能讓此功能打印一條消息，如果元素不是頂點？

Answer 1

喜歡的東西

checkEdges(edge(X,Y,_)) :- 
    (vertex(X), vertex(Y) -> 
    true 
    ; write('not vertices'),nl). 

？