Resumen de RuleML Funcional: de la lógica de Horn con igualdad al cálculo lambda
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
