It is much safer to stop the recursion with a rule count ( X ) : - X > 2 . ... hirable ( X ) : - age ( X , Y ) , Y > 17 , owns ( X , bike ) . hirable ( X ) ...
確定! 回上一頁