I'm trying to understand filters by comparing them to boolean logic.

Given three tags A B and  C

Then a filter that finds A is "[tag[A]]"

B OR C is "[tag[B]] [tag[C]]"

A AND B is "[tag[A]tag[B]]"

A and (B or C) has to be rewritten as
(A and B) or (A and C) and is 

"[tag[A]tag[B]] [tag[A]tag[C]]"

Which in a strange way reminds me of horn clauses in Prolog where I'd write:

```
filter(a, b) :- ...
filter(a, c) :- ..
```

So really these filter expressions are equivalent to queries in predicate 
logic.

(which is why they are so powerful :-)

Cheers

/Joe


-- 
You received this message because you are subscribed to the Google Groups 
"TiddlyWikiDev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to tiddlywikidev+unsubscr...@googlegroups.com.
To post to this group, send email to tiddlywikidev@googlegroups.com.
Visit this group at https://groups.google.com/group/tiddlywikidev.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/tiddlywikidev/9b8edbb1-8657-4502-ba5e-c867651203a4%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to