Christopher Smith <email@example.com>:
>On Fri, May 26, 2000 at 09:22:18PM -0400, Eric S. Raymond wrote:
>> CML2 is aimed at this. It will never be perfect -- perfection would require
>> a full theorem prover -- but it's already good enough to handle normal
>> ancestry relationships.
> Perhaps a CML2 engine should be written in ML to solve this problem?
Not necessary. CML2 0.2.0 actually includes a theorem prover that does
substitution and algebraic reduction on the constraints and then forces
variables based on the resulting relational assertions.
-- <a href="http://www.tuxedo.org/~esr">Eric S. Raymond</a>
Americans have the right and advantage of being armed - unlike the citizens of other countries whose governments are afraid to trust the people with arms. -- James Madison, The Federalist Papers
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to firstname.lastname@example.org Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Wed Jun 07 2000 - 21:00:14 EST