Program menurut gprolog.sf.net

GNU Prolog adalah implementasi gratis (di bawah GPL) dari bahasa pemrograman logika PROLOG. Ini dapat dikompilasi ke kode mesin asli yang sangat cepat dalam eksekusi. Fitur lain adalah pemecah batasan yang disertakan.