How to get the not effect in prologue

Question

I am trying to create a rule that recursively calls itself, and finds all possible paths to traverse a directed graph. I am using a findall() to do so. the functions is traverse