NanoProlog-0.2: README

NanoProlog README goes here.