Prolog as a security model.

have you tried calling their hotline ;)