Prolog - как очистить память и начать с нуля?

Я разрабатываю алгоритм в .pl-файле и исследую его с помощью запросов в командном окне. Я использую динамические переменные и предикаты retract/assert. И когда я изменяю pl-файл и нажимаю на "reload modified files", у меня появляются лишние факты, которые мне не нужны.

например, в начале у меня есть counter(0).

и я делаю что-то, втягиваю и утверждаю этот счетчик, он становится счетчиком(7). Затем, когда я перезагружаю модифицированный pl файл, у меня есть как счетчик(0). и счетчик(7).

Как я могу предотвратить это и иметь только счетчик(0). в начале?

Спасибо заранее.

7
задан false 24 November 2013 в 17:38
поделиться