Programming in Facts and Morality into AI