Variables in term

Description

Numbering the variables in a term

Source: The Art of Prolog

Download

Program source code: variables_in_term.pl

Listing

/*
   numbervars(Term,N1,N2) :- 
	The variables in Term are numbered from N1 to N2-1.
*/
 
	numbervars('$VAR'(N),N,N1) :- N1 is N+1.
	numbervars(Term,N1,N2) :-
	   nonvar(Term), functor(Term,Name,N), numbervars(0,N,Term,N1,N2).
 
	numbervars(N,N,Term,N1,N1).
	numbervars(I,N,Term,N1,N3) :-
		I < N,
		I1 is I+1,
		arg(I1,Term,Arg),
		numbervars(Arg,N1,N2),
		numbervars(I1,N,Term,N2,N3).
 
%  Program 10.8: Numbering the variables in a term

Comments

pl/prolog/pllib/variables_in_term.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0