אתה צריך להבין
שב prolog עובדים בשיטה של matching ולא בהשמה, ככה שהשאלה שלך די חסרת משמעות. אתה יכול למשל לעשות fail ואז הוא יכשל ובעזרת back-tracking עשוי לחזור למקום לפני ההשמה. מעבר לזה, אם אתה רוצה להחזיק ערך שמשתנה אתה יכול להשתמש בפונקציות assert ו-retract