提交软件
  1. 首页
  2. Linux软件
  3. 其他
  4. FLORA-2

FLORA-2 0.96.1

许可： 免费 ‎文件大小： N/A
‎用户评分： 5.0/5 - ‎1 ‎评分
点击下载

FLORA-2 是一种基于逻辑的面向对象的语言，用于构建知识密集型应用程序。它基于 F 逻辑、HiLog 和事务逻辑。应用程序包括智能代理、语义 Web、本体管理等。

版本历史记录

  • 版本 0.96.1%20%28Callistephus%20Daintiness%29 发布于 2011-05-04
    若干修复和更新
  • 版本 0.96.1 Callistephus Daintiness 发布于 2011-05-04

软件信息

相关软件

  • Parallel Sat4J 免费

    这是一个学术项目;主要目标是生成一个算法来并行化 CNF 公式，然后将分布式零件馈送至顺序 SAT 解算器，对于此项目，我们选择使用 Sat4J 作为解算器。

  • LYNX Touch 免费

    这个引人注目的应用程序以安全专业人员为设计为理，为 Android* 配置，复制了霍尼韦尔新款 LYNX Touch 无线自成一体的安全系统上的键盘屏幕和直观提示。这种动态销售工具是向消费者展示产品特性和易用性的快速、简单的方法。有关 LYNX 触摸的信息，请访问www.lynxtouchtoolkit.com*兼容安卓2.2OS平台及以上

  • Unwritten 免费

    "不成文"库提供基本C++/C# 类，用于处理您自己的独立于平台的应用程序的日志记录输出。

  • Perl Server Pages 免费

    面向对象的 Web 开发系统，允许构建一组类似于 HTML 的文件的动态内容，其中有些文件与一些 perl内联标记。 它有一个驱动程序（针对 FastCGI 和 mod_perl））编译器，和一组 extensi

  • JaC64 免费

    基于 Java 的 Commodore 64 仿真器。运行大多数的C64游戏和许多演示。模拟 CPU （6510）、VIC-II（在循环级别）、SID（包括滤波器、组合波形和 Bug）和 CIA。使用 Java/Javascript 轻松添加到任何网页。

  • LogScan 免费

    Logscan 以快速、有效、灵活和标准化的方式汇总您的日志文件。它通过 awk 运行日志，每个服务使用 AWK 脚本。它是独立于架构的，专为在 crontab 中使用。您甚至可以创建自定义脚本。

  • Nigma search widget 免费试用

    现在，您可以使用您的 Android 设备搜索 Nigma 容易得多。智能建议将帮助您更快地键入查询，并查找相关网站，即使无需上网。

  • Universal Graphic Import Filter for Word 免费

    与 Microsoft Word 97 或 2003 兼容的通用直通导入图形筛选器允许将可能任何格式的图形粘贴到 Word 文档中。 使用 6 或C++编译。

  • Ringtone Cutter Ultimate 免费

    铃声制造商是免费的应用程序创建铃声，报警和通知从MP3，WAV，AAC/MP4，3GPP/AMR文件，你加载到您的手机上通过SD卡或您通过亚马逊MP3商店购买。与许多使用菜单键来存储某些软件功能的 Android 应用程序不同，铃声制造商的控件大部分都在界面上，并且都响应触摸。您可以通过沿时间线滑动箭头、按"开始"和"结束"以记录点或键入时间戳来设置开始和结束注释。铃声制造商是市场上最好的铃声创建者， Ringdroid 的增强， 增加了功能，

  • eRepublik Info 免费

    警告： eRepublik API 不工作，他们不知道何时会再次启动，直到那时应用程序无法正常运行。使用 eRepublik 信息，您可以查看任何玩家的 erep 配置文件，使用影响计算器检查您/他们的损害，并找到您花费多少进行指定数量的损害。在当前版本中， 您还可以在 Twitter 上发布您的统计数据， 目前无需自定义。已知问题： * 有时不会获取播放器信息，因为 API 速度较慢或不可用，而是出现缓存版本。* VS播放器的影响在玩家比较不计