VARDA Rule Design and Visualization Tool-Chain

  • Grzegorz J. Nalepa
  • Igor Wojnicki
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5243)


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.


  1. 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. 2.
    Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Berlin (2006)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Grzegorz J. Nalepa
    • 1
  • Igor Wojnicki
    • 1
  1. 1.Institute of AutomaticsAGH University of Science and TechnologyKrakówPoland

Personalised recommendations