Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
HiLog : A Foundation for Higher-Order Logic Programming