Benjamin N. Grosof: High-Power Logical Representation via Rulelog, for Neural-Symbolic. NeSy@HLAI 2016