Maths : : Logique : : Affirmer est un module de Perl pour gérer et questionner une base de données de revendication d'attribut.

SYNTHÈSE

maths d'utilisation : : Logique : : Attribut ;

$db = maths neuves : : Logique : : Attribut ;

# écrire quelques attributs dans la base de données
$db->add (<<EOA) ;
humain (listeuse).
humain (kochanski).
pièces (listeuse, guitare).
sec (houx).
sec (rimmer).
nom (listeuse, listeuse de Dave).
nom (kochanski, Kristine Kochanski).
nom (rimmer, Arnold Rimmer).
EOA

# rétracter un attribut
$db->retract (pièces (listeuse, guitare)) ;
# ou basé sur une configuration
$db->retract (sec (_)) ;

# effectuer une requête
$query = $db->parse (être humain (H) et nom (H, X) ? ) ;
$iter = $db->match ($query, $iter) ;

# obtenir les résultats
$name = $db->get ($iter, X) ;

# mémoire il dans une règle
$db->add (human_name (H, N) : = être humain (H) et nom (H, N). ) ;

# utilisation il dans une requête
$iter = $db->match (human_name (listeuse, N) ? ) ;

# sauf lui à un dossier
employer entreposable ;
enregistrer ($db->rules, red_dwarf) ;