My startup idea for this round of YCombinator is to translate the laws into Prolog like clauses and have a search engine interface which replies with relevant sections applicable.

Not like the idea would be accepted but, this is a good direction to move into.