Chương trình theo gprolog.sf.net

GNU Prolog là một triển khai miễn phí (theo GPL) của ngôn ngữ lập trình logic PROLOG. Nó có thể biên dịch mã máy gốc cực kỳ nhanh trong thực hiện. Một tính năng khác là bộ giải hạn chế đi kèm.