Atur cara mengikut gprolog.sf.net

GNU Prolog adalah pelaksanaan percuma (di bawah GPL) bahasa pengaturcaraan logik PROLOG. Ia boleh menyusun kod mesin asli yang sangat cepat dalam pelaksanaan. Ciri lain adalah pemetik kekangan yang disertakan.