prolog内部谓词共同元素

  • 2024-11-02