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

nabl2-relation-left(|relation) = ?term1 //@type List(Term)
nabl2-relation-right(|relation) = ?term2 //@type List(Term)

Submitted by Daco Harkes on 14 February 2017 at 12:51

Log in to post comments