Introduction

ROS wrapper for SWI-Prolog