[Documentation] [TitleIndex] [WordIndex


Rosprolog is a simple wrapper around swi-prolog that uses an additional user-init file.

Two new predicates are added in this file:

To run rosprolog, use: rosrun rosprolog rosprolog

To start a prolog package within rosprolog (incl. calling its init.pl file and all init.pl of referenced packages), use: rosrun rosprolog rosprolog <pkgname>

To generate documentation for a package in the <pkg>/doc folder, use:

2024-07-13 14:37