No haz intentando usar Prolog ?
De hecho puedes usar el Visual Prolog, hay una version free para que hagas tus pruebas:
http://www.visual-prolog.com/vip6/download/
Sería cosa de que buscaras documentacion al respecto.. creo que Prolog te podrá servir.
Salu2
