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 s

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.