search

alessandro-montanari / tuprolog

Automatically exported from code.google.com/p/tuprolog
0 stars 0 forks source link

tuProlog manual is slightly vague #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Original report as of October 2013 (tuProlog 2.7.2)

TheoryManager.find() is currently documented as:

"Returns a family of clauses with functor and arity equals to the functor and 
arity of the term passed as a parameter Reviewed by Paolo Contessi: modified 
according to new ClauseDatabase implementation".

It seems that the arguments of the term passed in must be variables, otherwise 
tuProlog will fail to find the predicates. 
If this is the case (please check that I am correct), it seems the 
documentation should be updated to reflect this.

I would also argue that "Reviewed by Paolo Contessi: modified according to new 
ClauseDatabase implementation" is not neccessary in javadoc.

Original issue reported on code.google.com by enrico.d...@gmail.com on 6 Dec 2013 at 1:50