(SWI Prolog) numbervars option
From: Przemyslaw Madzik (przema_at_nospam-matrix.umcs.lublin.pl)
Date: 02/07/05
- Next message: Bart Demoen: "Re: (SWI Prolog) numbervars option"
- Previous message: Ben: "Commercial uses of prolog (to convince my boss it's valid)"
- Next in thread: Bart Demoen: "Re: (SWI Prolog) numbervars option"
- Reply: Bart Demoen: "Re: (SWI Prolog) numbervars option"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Mon, 7 Feb 2005 19:00:43 +0000 (UTC)
Hi,
-----
?- write_term(a('$VAR'(0)), []).
a(A)
Yes
?- write_term(a('$VAR'(0)), [numbervars(true)]).
a(A)
Yes
?- write_term(a('$VAR'(0)), [numbervars(false)]).
a(A)
Yes
-----
Do 'numbervars' option have any meaning for write_term/2 (and others
predicates like numbervars/3)?
PM
-- Syntactic sugar causes cancer of the semicolon.
- Next message: Bart Demoen: "Re: (SWI Prolog) numbervars option"
- Previous message: Ben: "Commercial uses of prolog (to convince my boss it's valid)"
- Next in thread: Bart Demoen: "Re: (SWI Prolog) numbervars option"
- Reply: Bart Demoen: "Re: (SWI Prolog) numbervars option"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
|
