VARDA Rule Design and Visualization Tool-Chain
Conference paper
Abstract
A prototype design tool-chain (VARDA) for the ARD hierarchical rule design method is presented in the paper. It is implemented in the Unix environment using Prolog and Graphviz for design visualization.
References
- 1.Nalepa, G.J., Ligęza, A.: A graphical tabular model for rule-based logic programming and verification. Systems Science 31(2), 89–95 (2005)MathSciNetGoogle Scholar
- 2.Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Berlin (2006)zbMATHGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2008