Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. bddbddb: BDD-Based Deductive Database
  5. Download

bddbddb: BDD-Based Deductive Database

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

Sur bddbddb: BDD-Based Deductive Database

Base de données déductive basée sur BDD, une implémentation de Datalog qui utilise les diagrammes de décision binaires comme structure de données sous-jacente. Cela lui permet de représenter efficacement des relations de taille exponentielle.

Programmes connexes

  • Proxy Pal For Networks Gratuit

    PPFN, c’est aussi un outil à cacher de n’importe quel journal de serveur, ces développeurs savent ce qu’ils ont à faire. Avez-vous? Si vous téléchargez ce paquet ultime, vous serez en mesure de profiter du web en sachant que

  • XBMC / Boxee Remote Gratuit

    Télécommande pour XBMC / Boxee.S’IL VOUS PLAÎT DÉSINSTALLER v1.0!!!v3.1* Les profils soutiennent les préférencesv2.2* Correction mineure de boguev2.1* Correction mineure de bogue pour le faire fonctionner avec w

  • jDTAUS Gratuit

    Mise en œuvre java de l’allemand DTAUS fileformat. Prend en charge la lecture, l’ajout, la modification, la suppression des opérations et des enregistrements d’extension. Une application GUI est disponible démontrant toutes l

  • Alligator Snap Essai gratuit

    Rassemblez vos propres pages Web en 3 étapes faciles. Vous n’avez pas besoin d’expérience préalable - Alligator Snap est livré avec des modèles Web pré-conçus et des charges de fonctionnalités intéressantes. Des modèles suppl

  • Mayur Linux Gratuit

    Le système d’exploitation Mayur Linux est basé sur le noyau LinuxPAE64 qui permet aux binaires x86-64 de fonctionner sur un système d’exploitation 32 bits si le processeur est compatible x86-64.

  • RIDGID Digital Bubble Level Essai gratuit

    Le RIDGID® Digital Bubble Level dispose de trois flacons pour plomb, niveau et miter 45°. Il existe une fonction sonore optionnelle qui vous permet de déterminer judicieusement vos résultats pour les situations où vous ne po

  • CNC GCODE Coordinate Transposition Tool Gratuit

    Cet outil Python 3.1 manipule le système de coordonnées du CNC GCODE pour l’usinage ou la gravure. Il peut retourner les coordonnées X, Y ou Z, refléter les coordonnées X, Y ou Z, retourner ou refléter les deux coordonnées XY

  • Cell Messaging Layer Gratuit

    La couche de messagerie cellulaire est une bibliothèque de communication extrêmement rapide, de la manière de l’IPM, pour les grappes de processeurs de moteurs à large bande cellulaires. Avec elle, n’importe quel élément de t

  • cccl Gratuit

    cccl est un emballage autour du cl.exe et du lien de Microsoft Visual C++.exe. Il convertit les paramètres de la ligne de commande compilateur Unix en paramètres équivalents pour cl et lien.

  • C/C++ Program Perfometer Gratuit

    Le programme permet d’obtenir des performances du programme C/C++ et des morceaux de code séparés pour toutes les mesures (par exemple : temps, mémoire, mesures définies par l’utilisateur, etc.). Les résultats de la mesure so