[
Lists Home |
Date Index |
Thread Index
]
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
|