The RuleML Language - Notes

RuleML as a de facto language standard includes Version 1.0 of Deliberation RuleML, whose Datalog and Horn logic sublanguages will be introduced here.