RuleML Funcional: de la lógica de Horn con igualdad al cálculo lambda

• Autores: Harold Boley
• Localización: Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 178, 2005 (Ejemplar dedicado a: La Web semántica), págs. 16-20
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • len RuleML (Rule Markup Language) se introducen funciones mediante las dimensiones ortogonales "constructor / usuario", "simple / multievaluado" , "primer nivel / alto nivel". Esto permite la programación lógico-funcional para la Web Semántica