This is an old revision of the document!


Intro

Varda (Visual ARD Rapid Development Alloy) is a prototype design tool for ARD+ in Prolog.

Getting it

Just grab a tarball milestone below

Releases

M_0

TARBALL wanted FIXME

News

  • 2008.2.29 VARDA goes GPLv3
  • 2008.1.28 tph+ard display and collapse.
  • 2008.1.26-7 preliminary HML export added, use 'axg.'

Quickstart

You need:

  • required to run VARDA: SWI Prolog
  • needed to build visual models GraphViz
  • needed for automatic visualisation: ImageMagick and GNU Bash (Warning: under Unix, you need GNU bash as a default Bourne shell (/bin/sh) – this is not the case with Ubuntu!!! it ships dash, change it – just uninstall it) FIXME

To use it:

cd varda
./varda

You can load an example model from the cmdline:

./varda therm-model.pl

In Varda, try hlp.

While working in Varda you are in the pure SWI shell, just use Prolog :-)

If you want to load a model when you are in VARDA simply use:

?- [therm-model].

If you use Windows, you can still use VARDA, but automatic visualisation would not work (it requires a Unix-like environment). Just run SWI Prolog, and:

?- [varda].
?- [therm-model].

If you have Graphviz under Windows, you can generate pictures manually, e.g.:

?- sar_file('therm-ard.dot').
?- shi_file('therm-tph.dot').
?- gax.
?- sxt_file('therm-xtt.dot').

And then run Graphviz DOT:

dot -T png therm-ard.dot > therm-ard.png

Devel

CVS Access

Patches and suggestions welcomed!

The development is not public.

Developpers see hades

hekate/varda.1204883481.txt.gz · Last modified: 2019/06/27 16:00 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0