我一直在研究DLV一段時間，當程序很大時，我發現很難遵循規則的激活。所以我去了manual，並檢查是否有什麼可以讓我做到這一點。DLV交互模式（調試）
我發現的唯一的東西是前端選項-FP，但我不確定這是否是我正在尋找的，因爲手冊在這方面沒有提供足夠的信息。所以，我做了什麼與此標誌運行我的程序，但我得到以下錯誤：
Background knowledge must not contain aggregates
程序運行沒有這個標誌，我無法擺脫的聚集體。我也試圖與一個愚蠢的程序，但不同的警告/錯誤提示：
Warning: No plan length given. Plan length defaults to zero. No goal query has been specified.
這是調試DLV程序的正確方法嗎？有沒有辦法？
謝謝。
不，這不是調試DLV程序的正確方法。
規劃前端（由-FP調用）旨在使用DLV來解決規劃問題，即一般問題： 這是世界/我的系統的當前狀態。以下是我可以執行的一系列可能的操作，以下是我希望達到的一組目標。 現在我想知道爲了達到這些目標，我必須執行哪些操作？ （我不知道有關計劃的更多信息的好資料，在我學習的幾年中我有一門課程 - 正如50秒谷歌搜索的結果，這可能是一個有用的信息來源：http://aima.cs.berkeley.edu/2nd-ed/newchap11.pdf）
DLV的規劃前端只是爲您提供了一個框架，允許您表達這些計劃然後爲您解決它們（以及第二個計劃要求的計劃長度警告是最大步數a計劃可能會）。所以我不認爲這是你正在尋找的。我有沒有經驗的調試DLV，但我認爲它曾經提到，ASP IDE https://www.mat.unical.it/ricca/aspide/download支持某種調試（所以它是在dlv網站http://www.dlvsystem.com/），但我不知道是什麼提供的信息是否對您有幫助。 （通常我會認爲調試不是那麼簡單，因爲ASP系統的實際實現可能與其語義的聲明性定義有很大不同）。
（對不起，如果這不是一個評論比答案，但我仍然不被允許寫評論，只有答案）