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.
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
Run it in different modes:
Check the TCP/IP protocol:
Please report the bugs, suggestions to the CVStrac system.