Is it possible to query relations in NaBL2?
First use case: check wether some relation holds
nabl2-relation(|relation) = ?(term1, term2);...// succeed or fail
Second use case: query the point-wise results
Submitted by Daco Harkes on 14 February 2017 at 12:51
nabl2-relation-left(|relation) = ?term1//@type List(Term)
nabl2-relation-right(|relation) = ?term2//@type List(Term)
Log in to post comments