由于蕴含式的灵活性，它能表示推理知识以及类似于“如果按住鼠标拖动，则按轨迹画出一条线”这种规则