Patching and extending PHP software.
The logic package by PHP Tailors provides first-order-logic implementation.
