Hi!. I tried ProDT with SWI and YAP and it seems to work fine. However, I found a problem in XSB:
When I try to import a file (using consult(fileName), or [fileName]) it attempts to look for the required file in the directory with the eclipse executable is located (in my machine it is something like "....Eclipse/Contesnts/MacOs") and does not look in the local path of the file that contains the import.
This problem does not happen with YAP or SWI, but somehow with XSB the path is not changed to the local selected file when the console is open.