Langue :: XSB Langue :: XSB est un module Perl qui vous permet d'utiliser XSB de Perl.
Télécharger maintenant

Langue :: XSB Classement & Résumé

Langue :: XSB Mots clés

Module Perl Langue langue XSB Perl XSB XSB

Langue :: XSB La description

Langue :: XSB est un module Perl qui vous permet d'utiliser XSB de Perl. Langue :: XSB est un module Perl qui vous permet d'utiliser XSB de Perl.Synopsis Utilisation Langue :: XSB ': Query'; Utilisation Langue :: Prolog :: Types :: Surcharge; Utilisation Langue :: prolog :: sucre vars => , foncteurs => {égal => '='}, foncteurs => , chaînes => {plus => '+' , orn => ';'}; xsb_set_query (égal (x, 34), égal (y, -12), est (Z, plus (x, y, 1000))); tandis que (xsb_next ()) {printf ("x =% d, y =% d, z =% dn", xsb_var (x), xsb_var (y), xsb_var (z),} Imprimer joindre ("n", xsb_finind_all (Orn (égal (x, 27), égal (x, 45)), x)), "N"; abstractlanguage :: XSB fournit une interface bidirectionnelle à XSB ().from Le XSB Manuel: XSB est une programmation logique orientée vers une recherche et une base de données déductive développée chez Suny Stony Brook. En plus de fournir toutes les fonctionnalités de Prolog, il contient des fonctionnalités non trouvées dans des systèmes de programmation logiques telles que l'évaluation selon la sémantique fondée bien fondée par la résolution de SLG complète, la gestion des contraintes pour les programmes déposés, la mise en uvre de HILOG compilée, l'affacturage de l'unification et des interfaces à Les autres systèmes tels que le paquet de ODBC, C, Java, Perl et Oraclethis implémentent une interface bidirectionnelle à la XSB, c'est-à-dire que Perl peut appeler XSB qui peut appeler Perl dos qui peut rappeler XSB, etc.: Perl -> XSB -> Perl -> XSB -> (Malheureusement, vous devez commencer par Perl, XSB-> Perl -> ... n'est pas possible.) L'interface to xsb est basée sur les objets créés par la langue de l'emballage :: prolog: :Les types. Vous pouvez également utiliser la langue :: prolog :: package de sucre, une extrémité avant pour l'ensemble de types pour améliorer l'apparence de votre source (juste un peu de sucre syntaxique). Pour faire des requêtes à XSB, vous devez d'abord définir le terme de requête avec la fonction xsb_set_query, puis utilisez xsb_next et xsb_result à itérer sur elle et obtenez les résultats. Seul une requête peut être ouverte à tout moment, sauf lorsque Perl est appelé à partir de XSB, mais l'ancienne requête n'est pas visible.Requifications: · Perl Exigences: · Perl

Langue :: XSB Logiciels associés