Would you like to solve some theory problems and see the results built
into a practical, real-world system ?
The Internet Business Logic system assigns a highly declarative
meaning to a collection of rules and facts. When the underlying base
is finite, this can be done. However, in practice we require
incremental answers over infinite domains, under the control of a
user. This raises some good theory questions that sail close to
To see the system itself and some theory references so far, please
visit www.reengineeringllc.com .
If you are interested in getting a precise problem statement, please
Thanks ! -- Adrian