Attributes judgment in the inference rule


#1

i want to be like this:

“define test_rule sub rule
when
{$s isa fun has input_value $v;
$w isa fun has output_value $t;
$v val = $v1;
$t val = $v1;}
then
{($s, $t) isa test_relationship;};”
"$v" and “$t” are the different types of attributes. However, the grakn.ai does not support…


#2

I think right now it is not possible insert that rule due to a bug: https://github.com/graknlabs/grakn/issues/2625

I tried the same and Grakn silently failed to add the rule.

You can try a workaround that works (but is slower): if you want to state $a val =$b`, you can instead state

$a val contains $b; $b val contains $a;

I heard there will be a fix for this landing in the next release.