Коментари
numbervars(Term,0,M).
Може да се използва за преброяване на свободните(несвързани) променливи в Term.
numbervars(Term,0,0).
Може да се използва за проверка дали всички променливи в Term са свързани променливи.
Previous slide
Next slide
Back to first slide
View graphic version