I am familiar with prolog and know what it takes (ish) to make an old school expert system. I have heard about this project. Are there any demos of this system? Like a video sales pitch. I have always wanted to see it in action.