This is an old revision of the document!
[http://www.swi-prolog.org/pldoc/package/pldoc.html PLDOC] is a Javadoc-like source documentation tool for SWI Prolog. Structured comments in the source code are translated into HTML or LaTEX.
The first line of the comment needs to start with two percent signs, followed by the predicate including its mode declarations as described in the PLDOC documentation. The following lines describe the predicate and its parameters. comp_temporallySubsumes(?Long, ?Short) is nondet. % % Check if the time segment Long contains the segment or time point Short. % % @param Long Identifier of the longer time segment % @param Short Identifier of the contained time segment or time point %
comp_temporallySubsumes(Long, Short) :- [...]
Ubuntu 10.04 does not install pldoc by default, you have to manually add it by installing from source (i.e. by copying the .pl files to the Prolog library folder).
For showing the documentation, you can run doc_server(8080). in Prolog, which starts the documentation server locally so that you can access it from your browser. Note that the doc server only parses those files correctly that are loaded after the server has been started.
For saving the documentation locally, you can use the doc_save predicate: use_module(library(doc_files)). doc_save( '/work/knowrob/trunk/', [css(copy),recursive(true),doc_root('/work/knowrob/doc')]).
Generate Documentation for ROS packages
rosrun rosprolog rosprolog-doc <pkgname>
Update the KnowRob API Documentation
sudo -u knowledge -i ./update-knowrob-bib.sh