Hi there,
are there any plans to implement the ISO predicate
read_term/2?
More specifically, I would need the functionality
provided by
read_term(T, [variable_names(VN)])
Any idea how I could obtain that effect
in the current version of XSB?
Thanks in advance
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-08-06 18:11:05
Modified files:
interfaces/Prolog/XSB: ppl_xsb.cc
Log message:
Try to get around bugs in XSB 2.5 foreign language interface
(several foreign language interface functions do not
properly dereference their arguments).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…
There is an easy-to-fix problem in Doxygen-1.2.17-20020804:
g++ -c -pipe -Wall -W -fno-exceptions -O2 -I../qtools -I../libpng -o ../objects/docparser.o docparser.cpp
docparser.cpp: In function `void handlePendingStyleCommands(DocNode*,
QList<DocNode>&)':
docparser.cpp:188: warning: `const char*cmd' might be used uninitialized in
this function
docparser.cpp: In function `bool defaultHandleToken(DocNode*, int,
QList<DocNode>&, bool)':
docparser.cpp:221: default argument given for parameter 4 of `bool
defaultHandleToken(DocNode*, int, QList<DocNode>&, bool = TRUE)'
docparser.cpp:117: after previous specification in `bool
defaultHandleToken(DocNode*, int, QList<DocNode>&, bool = TRUE)'
The compiler (g++ 3.1.1) is right: according to the standard [8.3.6.4],
"A default argument shall not be redefined by a later declaration
(not even to the same value)."
I hope it helps.
All the best
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it