Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:-dynamic любит/2. любит('Эрик', плавание). replace_pred(OldX,NewX) :- retract(любит(OldX, плавание)), assertz(любит(NewX, плавание)). % run: replace_pred('Эрик','Том'), любит(Y, плавание).