Я разрабатываю алгоритм в .pl-файле и исследую его с помощью запросов в командном окне. Я использую динамические переменные и предикаты retract/assert. И когда я изменяю pl-файл и нажимаю на "reload modified files", у меня появляются лишние факты, которые мне не нужны.
например, в начале у меня есть counter(0).
и я делаю что-то, втягиваю и утверждаю этот счетчик, он становится счетчиком(7). Затем, когда я перезагружаю модифицированный pl файл, у меня есть как счетчик(0). и счетчик(7).
Как я могу предотвратить это и иметь только счетчик(0). в начале?
Спасибо заранее.