left right UP

Some Background, Being a Critique of Current Related Efforts


1Too much code to be trusted
2Too strong a logic
3Too limited a logic
4Too unintelligible a logic
5Too unnatural a syntax
7Too little extensibility
8Too little heuristic search support
9Too little care for rigour
10Complete absence of inter-operability
11Too little attention paid to ease of use

UP 1.
UP 2.
UP 3.
UP 4.
UP 5.
UP 6.
UP 7.
UP 8.
UP 9.
UP 10.
UP 11.

left right UP HOME RBJ created 5/1/96 modified 5/1/96 c