Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. XSB

XSB 3.1

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Système de programmation logique et de base de données déductive (Prolog déposé) pour Unix et Windows.

historique de la version

  • Version XSB%203.1%20%28Incognito%29 posté sur 2007-08-30
    Plusieurs correctifs et mises à jour
  • Version XSB 3.1 Incognito posté sur 2007-08-30

Détails du programme

Programmes connexes

  • XML::Validator::Schema Gratuit

    Ce module Perl vous permet de valider les documents XML contre un W3C XMLSchéma. Ce module n’implémente pas l’ensemble W3C XML Schemarecommandation, mais un sous-ensemble utile.

  • DHL Track and Trace Essai gratuit

    DHL Track & Trace - Version non officielle 1.1.1Facile à utiliserFonction- Analyse du code à barres- Suivi de la trace de l’historique des nombres- À proximité du bureau de DHL- Partager l’URL de suivi par

  • Eclipse Caps Toggle Plugin Gratuit

    Eclipse 3.x plugin pour fournir des fonctionnalités de toggling de cas dans les différents éditeurs Eclipse. Comprend l’objectif général "firstName -> FIRSTNAME -> prénom -> FIRSTnAME -> firstName " togg

  • SQL Audit Gratuit

    Générateur de scriptS T-SQL pour SQL Server 2000/2005 pour permettre l’audit sur les tables de base de données à l’aide de déclencheurs et de tables supplémentaires pour l’audit. SQL Audit est composé de deux assemblages .NET

  • Integrated Testing Framework Gratuit

    Un cadre de test intégré, couvrant la génération de cas de test, l’exécution, la déclaration des bogues, la couverture du code et les conventions de codage. Actuellement, il s’agit d’une suite de module pour netbeans IDE, int

  • CINT Smartcard Gratuit

    Le projet cint smartcard est une collection d’outils et de bibliothèques pour tester la carte à puce. Maintenant, il se compose d’un outil GUI, TestCase Manager, et deux bibliothèques pré-compilées CINT, pcsclib & gsmlib,

  • Listables - Donate Essai gratuit

    ============ Il s’agit de la version de don de l’application gratuite Listables ============S’il vous plaît envisager de faire un don en téléchargeant cette version de l’application. Je suis juste un développeur essay

  • PPIV Gratuit

    PPIV est une application logicielle parallèle utilisée dans l’analyse de la velocimétrie de l’image des particules (PIV). Le logiciel calculera le champ vectoriel pour une paire d’images ou plusieurs paires d’images. PPIV peu

  • vdevice Gratuit

    Vdevice est un émulateur et des outils de développement pour le matériel virtuel. Ecrit dans le cadre .NET, vdevice permet à l’amateur d’écrire des logiciels ou des systèmes d’exploitation sans faire face aux frais généraux

  • Comparative Genomics Ontology Gratuit

    L’Ontologie comparative de génomique (CGO) est une ontologie owl initialement développée pour soutenir l’intégration de données génomiques comparatives provenant de ressources hétérogènes dans le cadre du projet ComparaGRID.