PHP库支持PHP的Web应用和Eclipse的约束规划系统之间的通信。

Introduction This PHP library was born to enable a web application to query a knowledge-base implemented as a prolog logic program running on ECLiPSe-CLP platform. It follows the EXDR version 2 specifications for term serialization, described here. Communication takes places over a TCP socket between the PHP script (client side) and the ECLiPSe program (server side), which has to be in an "accept loop". After the client established a TCP connection can send a Goal to the server, which receives it in EXDR format over the socket stream, executes it, and sends it back. Requirements The system requirements and dependencies needed by php-eclipseclp library are: * sockets to be enabled in your PHP installation; Log PEAR package for logging

php-eclipseclp
lib
README.txt
sample_client.php
sample_server.ecl