proj-jasper-jasperSemantic

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