Sprache :: xsb. Sprache :: XSB ist ein Perl-Modul, mit dem Sie XSB von Perl verwenden können.
Jetzt downloaden

Sprache :: xsb. Ranking & Zusammenfassung

Sprache :: xsb. Stichworte

Perl-Modul Sprache XSB Sprache Perl xsb. XSB

Sprache :: xsb. Beschreibung

Sprache :: XSB ist ein Perl-Modul, mit dem Sie XSB von Perl verwenden können. Sprache :: XSB ist ein Perl-Modul, mit dem Sie XSB von Perl.Synopsis verwenden können. Sprache :: xsb ': Abfrage'; Sprache verwenden :: Prolog :: Typen :: Überlastung; Sprache verwenden :: Prolog :: Sugar Vars => , Funktoren => {gleich => '='}, Functoren => , Ketten => {plus => '+' , orn => ';'}; xsb_set_query (gleich (x, 34), gleich (y, -12), ist (z, plus (x, y, 1000))); Während (xsb_next ()) {printf ("x =% d, y =% d, z =% dn, xsb_var (x), xsb_var (y), xsb_var (z))}} drucken (" n ", xsb_find_all (orn (gleich (x, 27), gleich (x, 45)), x)), "n"; abstractLanguage :: xsb bietet eine bidirektionale Schnittstelle zu XSB ().von Das XSB-Handbuch: XSB ist ein forschungsorientiertes Logik-Programmier- und deduktives Datenbanksystem, das bei Suny Stony Bach entwickelt wurde. Zusätzlich zur Bereitstellung aller Funktionen von PROLOG enthält es Funktionen, die normalerweise nicht in logischen Programmiersystemen enthalten sind, wie z. B. Bewertung gemäß der begründeten Semantik, über die vollständige SLG-Auflösung, die Einschränkung des Einschränkungshandlings für TABLE-Programme, eine kompilierte HIHOG-Implementierung, ein Unifikationsfaktorierung und Schnittstellen Andere Systeme wie ODBC-, C-, Java-, Perl- und Oraclethis-Paket implementieren eine bidirektionale Schnittstelle zu XSB. Das bedeutet, dass perl XSB anrufen kann, der perl zurückrufen kann, der XSB erneut anrufen kann, usw.: perl -> xsb -> perl -> XSB -> ... (Leider müssen Sie von Perl, XSB-> Perl -> ... ist nicht möglich.) Die Schnittstelle zu XSB basiert auf den von der Paketsprache erstellten Objekte: Prolog: : Typen. Sie können auch Sprache: Prolog :: Zucker-Paket, ein Front-Ende für das Typenpaket verwenden, um das Aussehen Ihrer Quelle zu verbessern (nur etwas syntaktischer Zucker). Um Abfragen an XSB zu erstellen, müssen Sie zuerst den Abfragebegriff mit der Funktion einstellen XSB_SET_QUERY, und verwenden Sie dann XSB_NEXT und XSB_RESULT, um darüber zu iterieren und die Ergebnisse zu erhalten. Anforderungen: · Perl.

Sprache :: xsb. Zugehörige Software