You may download K-Prolog compiler personal version via http:

• Solaris(sparc) version
• Mingw/Win32 version
• Linux(Intel gcc4/gcc4) version
• MacOSX(Intel) version

If you plan to use K-Prolog for educational pourposes, please contact info@kprolog.com.