问题描述
我正在努力提出一个列表子列表的概念，该概念是通过删除列表中的元素创建的（以便保留顺序）。我需要提出一个归纳命题来确定l1是否为l2的子列表。
到目前为止：
- 我知道空列表是所有列表的子列表。
- 所有列表都是其自身的子列表。
- 如果已知l1是l2的子列表，那么将相同列表附加到l1和l2头部或尾部的结果将导致前者成为后者的子列表
- 现在是困难的部分。如何提供证据证明像[“ x”;“ y”]这样的列表是[“ a”;“ x”;“ z”;“ y”]的子列表？
语法类似于 归纳子列表{X：Type}：列表X->列表X->道具：= ..
有人可以帮我吗？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）