Prolog，找熟人的熟人

如何解决Prolog，找熟人的熟人

我有以下 prolog 程序（使用 SWI-Prolog v7.6.4）。

$result = DB::table('grades')
    ->join('grades_students','grades_students.grade_id','=','grades.id')
    ->join('users','grades_students.student_id','users.id')
    ->join('marks','marks.student_id','grades_students.student_id')
    ->where('grades.stream_id',$request->stream_name)
    ->where('assessement_id',$request->assessement)
    ->select(DB::raw('marks.student_id,ROUND(AVG(mark)) as mark'))
    ->groupBy('marks.student_id')
    ->get()

当我运行它并给它查询 friend(a,b). friend(b,c). friend(c,d). acquainted(X,Y) :− acquainted(X,Z),acquainted(Z,Y). acquainted(X,Y) :− friend(X,Y). 时，我收到一个错误：超出本地堆栈。我对 prolog 很陌生，我只是想了解正在发生的事情。我可以看到（通过跟踪）它在重复超过一百万次时递归地更深。

我认为我缺少一些基本情况，但我只是不明白这里发生了什么。

我已经看过this post，但我仍然不太明白发生了什么。