Changing syntax to be prolog compliant
Renaming ia into ai
Trying to avoid name clashes in module import