PHLIPS - CLIPS extension for PHP