look at docs for logic programming languages and semantic web tools for examples of things that mb could use logic/semantic web-y stuff
--
look at apps using SAT solvers for examples of things that mb could use logic/semantic web-y stuff
0install is an example of a real app that uses a SAT solver