HeaRT is the HeKatE runtime. Main feaures:

• ALSV(FD) inference
• XTT2 specs compliance
• HMR support for knowledge representation

Currently the runtime is in an alpha stage.

HeaRT is part of HaDEs.

See also the developemnt page.

Just download a HeaRT milestone file below.

You need a SWI-Prolog environment.

Download the heart-m1.tar.gz file.

• 2009.05.13 – HeART M1, alpha stage, needs testing, support by esimon@student.agh.edu.pl

To use it:

cd heart
./heart

You can load an example model from the cmdline:

./heart therm-rt.pl

In HeaRT, try hlp.

While working in HeaRT you are in the pure SWI shell.

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

?- [therm-rtl].

Models:

• therm-rt.pl the hekate_case_thermostat

Please report the bugs, suggestions to the CVStrac system.

Login:

• access the system with the wiki user/pass
• do not extra login to the CVStrac itself
• submit new Tickets anonymously, use HeaRT subsystem
• please leave your contact information, as well as other reference, e.g. MIW project ID