Prolog XG Policy Reasoner

This is a Prolog-based reasoner for XG spectrum policies which gives yes/no answers to transmission requests.

• XGPL_Prolog_PR
• prolog-reasoner-javadoc.zip

For detailed installation instructions and some examples on how to use our Prolog-basaed XG Reasoner please see

CoRaL Policy Validation Engine and Policies