Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. XSB

XSB 3.1

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов
Скачать

Система логического программирования и дедуктивной базы данных (Tabled Prolog) для Unix и Windows.

история версии

  • Версия XSB%203.1%20%28Incognito%29 размещено на 2007-08-30
    Несколько исправлений и обновлений
  • Версия XSB 3.1 Incognito размещено на 2007-08-30

Подробная информация о программе

Похожие программы

  • XML::Validator::Schema Бесплатный

    Этот модуль Perl позволяет проверять документы XML на W3C XMLСхемы. Этот модуль не реализует полную схему W3C XMLрекомендации, но полезное подмножество.

  • DHL Track and Trace Бесплатная пробная версия

    DHL Трек и trace - Не официальная версия 1.1.1Простой в использованииФункция- Сканирование штрих-кода- Отслеживание следа истории числа- Рядом с офисом DHL- Поделиться отслеживания URL по электронной почтеВе

  • Eclipse Caps Toggle Plugin Бесплатный

    Плагин Eclipse 3.x для обеспечения функциональности корпуса в различных редакторах Eclipse. Включает в себя общее назначение :квота;firstName -'gt; FIRSTNAME -'gt; первое имя -'gt; FIRSTnAME -'gt; firstName-quot; toggling и б

  • SQL Audit Бесплатный

    Генератор скриптов для сервера S'L Server 2000/2005, позволяющий проводить аудит таблиц баз данных с помощью триггеров и дополнительных таблиц для аудита. Аудит S'L состоит из двух сборок .NET 2.0: SqlAudit.dll и SqlAuditGene

  • Integrated Testing Framework Бесплатный

    Интегрированная структура тестирования, охватывающая генерацию тестовых случаев, выполнение, отчетность об ошибках, охват кода и конвенции кодирования. В настоящее время это набор модулей для netbeans IDE, интегрируя некоторы

  • CINT Smartcard Бесплатный

    Проект CINT Smartcard представляет собой набор инструментов и библиотек для тестирования смарт-карты. Теперь он состоит из инструмента GUI, TestCase Manager и двух предварительно составленных библиотек CINT, pcsclib и gsmlib,

  • Listables - Donate Бесплатная пробная версия

    ============ Это пожертвовать версию бесплатного приложения Списки ============Пожалуйста, подумайте о пожертвовании, загрузив эту версию приложения. Я всего лишь один разработчик пытается свести концы с концами, и ка

  • PPIV Бесплатный

    PPIV — это параллельное программное приложение, используемое в анализе велоциметрии изображений частиц (PIV). Программное обеспечение будет вычислять векторное поле для одной пары изображений или нескольких пар изображений. P

  • vdevice Бесплатный

    Vdevice является эмулятором и инструментами разработки для виртуального оборудования. Написанная в рамках .NET, vdevice позволяет любителю писать программное обеспечение или операционные системы, не имея дело с накладными ра

  • Comparative Genomics Ontology Бесплатный

    Сравнительная геномика онтология (CGO) является OWL онтология первоначально разработан для поддержки интеграции сравнительных данных геномики из неоднородных ресурсов в рамках проекта ComparaGRID.