PE-SMAF-Pelda is a project mainly written in C++ and PROLOG, it's free.

Pannon Egyetem - SMAF projekt - Példa repository