Did you know ... | Search Documentation: |
Pack logicmoo_nars -- examples/more/pattern_matching_case1-in.txt |
<(&&, <$r --> [red]>,<$b --> [blue]>) ==> <(*,$r,$b) --> pattern1>>. // in general a red object precedes a blue object. <{r1} --> [red]>. <{b1} --> [blue]>. <(*,{r1},{b1}) --> pattern1>? // Which asks if the pair “r1 b1” is an element in “pattern1” 36