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

  • GNU Prolog Miễn phí

    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.