Warning:
This wiki has been archived and is now read-only.

Equality in condition

From RIF
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorDaveReynolds
StatusApproved
RecordF2F11
DialectBLD
PurposeDemonstrate equational use of equality
DescriptionDefine a predicate to be true when x^3-x=0
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(func <http://www.w3.org/2007/rif-builtin-function#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group( Forall ?x ( ex:root(?x) :- And (External(pred:is-literal-decimal(?x)) External(func:numeric-subtract(External(func:numeric-multiply(?x External(func:numeric-multiply(?x ?x)))) ?x)) = "0"^^xs:decimal ) ) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxAnd ( ex:root("-1"^^xs:decimal) ex:root("0"^^xs:decimal) ex:root("1"^^xs:decimal) )
XMLview RIF/XML
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=Equality_in_condition&oldid=12013"