VISUAL PROLOG
-
Avancement du Logiciel sous V.I.P en 2016
dimanche 3 juin 2018Super UserNote moyenne
Etat actuel de mes développements Bien que je me sois intéressé en 2015, pendant plusieurs mois, à une approche JAVA et à la structuration d'un projet basé sur les modèles de l'O.M.G SysML/UML2, j'ai continué à avancer dans la structuration de mes Bases de Données sous V.I.P. Je dispose donc actuellement d'un exécutable sous Windows qui génère des enchères sur un premier tour de table et comporte ...
Lire la suite...Categories
-
Clause de HORN du langage V.I.P
dimanche 3 juin 2018Super UserNote moyenneClause logique de HORN Le VIsual Prolog (VIP) et d’autres langages Prolog sont basés sur la Clause logique de HORN. Cette clause de HORN est un système formel pour raisonner sur des objets et sur la ...
Lire la suite...Categories -
Espace de probabilités.
jeudi 14 juin 2018Super UserNote moyenneCe que nous apprend Kolmogorov, c’est qu’avant de parler de probabilités au sens mathématique, il faut définir l’espace dans lequel on se situe. La probabilité est une mesure et avant de procéder à c ...
Lire la suite...Categories -
Langage Déclaratif
dimanche 3 juin 2018Super UserNote moyenneUtiliser un langage Procédural de type Visual Basic ou un langage Déclaratif comme Visual Prolog ? Bien sur, tous ceux qui ont étudié ou développé dans des langages conventionnels et historiques comm ...
Lire la suite...Categories -
Méthodologie de Validation des Bases de Données
dimanche 21 août 2011Super UserNote moyenne
Méthodologie du projet Méthodologie de Validation des Bases de Données Le schéma ci-dessous explicite les étapes de validation des règles qui sont utilisées pour les choix de l'exécutable lors des ou ...
Lire la suite...Categories -
Paradigme des Ouvertures
mercredi 13 juin 2018Super UserNote moyenne
Voici le PARADIGME, (le modèle), qui est utilisé dans la Base de Données de FAITS et REGLES du démonstrateur qui propose les ouvertures en première et seconde position. Ce modèle propose une couvertu ...
Lire la suite...Categories