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

  • XSB Miễn phí

    Logic lập trình và suy luận hệ thống cơ sở dữ liệu (Tabled Prolog) cho Unix và Windows.