ソフトウェアの提出

プログラム xsb.sf.net

  • XSB 無料

    Unix と Windows 用の論理プログラミングとデダクション データベース システム (表に示されたプロローグ)。