knowrob: bosch_semantic_map | comp_cop | comp_germandeli | comp_orgprinciples | comp_spatial | comp_temporal | ias_knowledge_base | ias_prolog_addons | ias_semantic_map | jpl | json_prolog | knowrob_actions | knowrob_common | knowrob_objects | mod_probcog | mod_srdl | mod_vis | rosprolog | semweb | srldb | tf_prolog | thea

Package Summary

Script to execute prolog and set the prolog library paths to other ros prolog packages.

• Author: Lorenz Moesenlechner
• License: BSD
• Repository: tum-ros-pkg
• Source: svn http://code.in.tum.de/pubsvn/knowrob/tags/latest/rosprolog

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

Two new predicates are added in this file:

• use_ros_module( <ros-package-name>, '<prolog-file-path>' )

  • Load a prolog module from $(rospack find <ros-package-name>)/prolog/<prolog-file-path>.

• rospack_package_path( Package, Path )
  • Get the absolute path of a package.

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:

• rosrun rosprolog rosprolog-doc <pkgname>