I have a couple of questions about the use of gprolog compiled programs. I understand that gprolog is GPL software and that any modified version of its codebase would be required to be released under a GPL compatible license. What about programs compiled with gprolog? I know that gcc does not restrict compiled programs to the GPL. What is the case here?