experimenting with XSB as engine