我是prolog的新手,我正在尝试编写一个谓词,以便我可以判断一个列表是否是一个大小的列表.目前我有这个:
one([H | T]) :- H \= [] ,T == [].
这有问题,至少我的逻辑是,如果H它不是空的并且尾部没有任何东西,则必须是头部中存在某些东西并因此具有一个大小的情况.否则它没有.
非常感谢您解决此问题的一些见解.
| 归档时间： |
|
| 查看次数： |
152 次 |
| 最近记录： |