HeKatE Run Time (HeaRT) is a dedicated inference engine for the XTT2 rule bases. The engine implements the inference based on ALSVfd logic. It is implemented in Prolog in order to directly interpret the HMR representation which is generated by HQEd. HMR (HeKatE Meta Representation) is a textual representation of the XTT2 logic designed by HQEd. It is a human readable form, as opposed to the machine readable HML (HeKatE Markup Language) format. HeaRT allows to: store and export models in HMR files, and verify HMR syntax and logic.
Currently the runtime is in a beta 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-m6.tar.gz file.
Download the heart-m5.tar.gz file.
Download the heart-m4.tar.gz file.
Download the heart-m3.tar.gz file.
Download the heart-m2_1.tar.gz file.
Download the heart-m2.tar.gz file.
Download the heart-m1.tar.gz file.
HeaRT is an inference engine for XTT2 rule based systems. More about HeaRT and XTT2: here, here and here
HeaRT uses HMR language. More about the language: here
HeaRT uses TCP/IP protocol when running in server mode to communicate. more about it here
See the HeaRT Overview as well as the more technical HeaRT HowTo. For a detailed documentation see the HeaRT technical report.
swipl
from repository.HEART_DIR
./heart
File→Consult→heart.pl
srv.
Check the simplest example of HMR model - Thermostat. (Download)
Run it in different modes:
?- gox(init,[ms,dt,th,os],foi).
?- gox(init,[ms,dt,th],ddi).
?- gox(init,[os],gdi).
?- gox(init,[os],tdi).
Check the TCP/IP protocol:
srv
Please report the bugs, suggestions to the CVStrac system.
Login: