OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Logical markup Language

[ 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

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


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS