プログラム xsb.sf.net

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