RuleML Meets RDF 8 From Natural Language to Horn Logic Prolog-like formalization (syntax generated from XML): The discount for a customer buying a product is 5.0 percent if the customer is premium and the product is regular. The discount for a customer buying a product is 7.5 percent if the customer is premium and the product is luxury. ...
{}