Cart
[Home] [By Thread] [By Date] [Recent Entries]
There does not seem to be a logical markup language, A language where a problem or a set of problems can be defined as a tree of options where the nodes of the tree state the logical operation that should be applied to the sub nodes and attributes indicate the state of the nodes such as true or false such that a recursive decent can determine a truth about the tree. Is ther such a beast, could there be one as a subset of another markup specification. In many situations if A and B then true, but B could be C or D or E or F, and F could be Not G and Not H I know there are other ways of doing this but there could be a sentence attached to A explaining what happened and why this should be true, and when the tree is parsed and displayed a complete logical sentence could be produced that verifies the truth/False result Trevor Croll
|
