初次适用prolog

NoSuchKey