The current system is apparently designed for SICStus prolog. Is there any reason why it shouldn't also work on other prolog implementations?
I loaded a few of the Prolog files under SWI prolog and found that most of the errors are related to the use of modules and sometimes standard modules being named differently.
Conditional compilation might be an easy way to make Regulus portable and attract more users and contributors.
http://www.sics.se/sicstus/docs/latest/html/sicstus.html/ref_002dlod_002dcnd.html#ref_002dlod_002dcnd