在谓词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). 

？