Law, Logic and Symbolic Artificial Intelligence