some demo for prolog(转)

NoSuchKey