Как остановить выполнение пролога цели более одного раза?

Question

У меня есть факт и цель, как показано ниже:

disconnected.

join :- disconnected, time(T), send(T).

Как только эта цель будет достигнута, она должна отключиться от false и, таким образом, не будет выполнена снова. Я новичок в Прологе, поэтому я немного застрял. Я уверен, что это что-то действительно простое, но не могу понять это в данный момент. Есть идеи?

Answer 1

Вы можете использовать assert или retract для изменения известных фактов. Или вы можете использовать глобальные переменные. Я не уверен, насколько это стандартно.

Самым простым было бы объявить ваш join с двумя параметрами: входным параметром, обозначающим текущее состояние, и выходным параметром, обозначающим новое состояние.