Mathematik :: Logic :: Prädikat math :: logic :: Prädikat ist ein Perl-Modul, um eine Prädikat-Assertion-Datenbank zu verwalten und abzufragen.
Jetzt downloaden

Mathematik :: Logic :: Prädikat Ranking & Zusammenfassung

Mathematik :: Logic :: Prädikat Stichworte

Abfrage Perl-Modul verwalten Prädikat-Behauptung verwalten Abfrage-Prädikat-Assertion.

Mathematik :: Logic :: Prädikat Beschreibung

Math :: logic :: Prädikat ist ein Perl-Modul, um eine Prädikat-Assertion-Datenbank zu verwalten und abzufragen. Math :: logic :: Prädikat ist ein Perl-Modul zum Verwalten und Abfragen einer Prädikat-Assertion-Datenbank.Synopsis verwenden Math :: logic :: Prädikat; $ db = Neue Math :: Logic :: Prädikat; # Geben Sie einige Prädikate in die Datenbank $ db-> hinzufügen (Retract (Smart (_) '); # Machen Sie eine Abfrage $ Query = $ db-> parse (' human (h) und Name (H, X)? ' ); $ iter = $ db-> Match ($ Query, $ ITER); # Holen Sie sich die Ergebnisse $ Name = $ db-> erhalten ($ iter, 'x'); # speichern es in einer Regel $ db-> hinzufügen ('Human_name (H, N): = Human (H) und Name (H, N).'); # Verwenden Sie es in einer Abfrage $ iter = $ db-> Match ('Human_name (Lister, N)?') ; # Speichern Sie es in einer Datei speichern lagerfähig; speichern ($ db-> Regeln, 'red_dwarf'); Anforderungen: · Perl.

Mathematik :: Logic :: Prädikat Zugehörige Software