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
News
Quickstart
You need:
-
-
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)
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