A C++ implementation for using Prolog in ROS. - View it on GitHub