Kidangu is a project mainly written in JAVA and PROLOG, it's free.

Automatic inspection of safety parameters for grade crossings