Matemáticas :: lógica :: predicado

Matemáticas :: lógica :: Predicado es un módulo PERL para administrar y consultar una base de datos de afirmación de predicado.
Descargar ahora

Matemáticas :: lógica :: predicado Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Perl Artistic License
  • Precio:
  • FREE
  • Nombre del editor:
  • Luke Palmer
  • Sitio web del editor:
  • http://search.cpan.org/~lpalmer/Symbol-Opaque-0.03/lib/Symbol/Opaque.pm

Matemáticas :: lógica :: predicado Etiquetas


Matemáticas :: lógica :: predicado Descripción

Matemáticas :: Logic :: Predicado es un módulo PERL para administrar y consultar una base de datos de afirmación de predicado. Matemáticas :: lógica :: Predicado es un módulo PERL para administrar y consultar una base de datos de afirmación de predicado. HSYNOPSIS Use Matemáticas :: lógica :: predicado; $ db = New Math :: Logic :: Predicate; # Ingrese algunos predicados en la base de datos $ db-> Agregar (retraer ('SMART (_)'); # Haga una consulta $ consulta = $ db-> analizar ('HUMAN (H) y NOMBRE (H, X)?' ); $ iter = $ db-> coincidencia ($ consulta, $ iter); # obtener los resultados $ nombre = $ db-> obtener ($ iter, 'x'); # almacenarlo en una regla $ db-> agregar ('Human_NAME (H, N): = humano (h) y nombre (H).'); # Úselo en una consulta $ iter = $ db-> coincidencia ('humano_name (lister, n)?') ; # GUARDARLO EN UN USO DE ARCHIVO ALTORIQUE; Tienda ($ db-> Reglas, 'Red_Dwarf'); Requisitos: · Perl


Matemáticas :: lógica :: predicado Software relacionado

Sobre nosotros