Prolog：如何删除列表的第二个元素

这几乎是Landei在特定Prolog语法中的答案：
r（[]，[]）。
r（[X]，[X]）。
r（[X，_ | Xs]，[X | Ys]）：-r（Xs，Ys）。
不需要第二个谓词。
|
使用foldl / 4的替代解决方案：
fold_step（Item，true：[Item | Tail]，false：Tail）。
fold_step（_Item，false：Tail，true：Tail）。
奇数（清单，奇数）：-
foldl（fold_step，List，true：Odd，_：[]）。
用法：
α-奇数（[1、2、3、4、5、6、7]，奇数）。
奇数= [1、3、5、7]
想法是遍历该列表，同时保留“奇/偶”标志并在每个元素上翻转其值（false-> true，true-> false）。通过附加那些具有“ odd / even”标志等于true的元素并跳过其他元素，我们也逐步构建了该列表。
|
@ code_x386的这个很好的答案利用了差异列表和foldl / 4。
让我们只使用一个fold_step / 3子句，使关系更通用，如下所示：
fold_step（X，[X | Xs] + Ys，Ys + Xs）。
list_odds_evens（List，Odds，Evens）：-
foldl（fold_step，List，Odds + Evens，[] + []）。
查询样例：
？– list_odds_evens（[a，b，c，d，e，f]，几率，偶数）。
偶数= [b，d，f]，赔率= [a，c，e]
？– list_odds_evens（[a，b，c，d，e，f，g]，几率，偶数）。
偶数= [b，d，f]，赔率= [a，c，e，g]
编辑
为什么不减少使用一个子句并取消谓词fold_step / 3？
拉姆达救助！
：-use_module（library（lambda））。
list_odds_evens（List，Odds，Evens）：-
foldl（\ X ^（[X | Xs] + Ys）^（Ys + Xs）^ true，列表，奇数+偶数，[] + []）。
|
另一种可能性是使用DCG，在描述列表时通常值得考虑：
list_oddindices（L，O）：-
短语（oddindices（L），O）。 ％列表O用奇数/ 1 /描述
当L为空时，oddindices（[]）->％
[]。 ％O也为空
oddindices（[X]）->％，如果L仅具有一个元素
[X]。 ％在O中
oddindices（[O，_E | OEs]）->％，如果L的头部至少包含两个元素
[O]，％第一个在O中
奇数指标（OEs）。尾巴相同％
这肯定不如使用foldl / 4的解决方案那么优雅，但是代码非常易于阅读，但是它可以解决OP所描述的任务，并且也可以双向工作：
？-list_oddindices（[1,2,3,4,5,6,7]，O）。
O = [1，3，5，7];
假。
？-list_oddindices（L，[1,3,5,7]）。
L = [1，_G4412、3，_G4418、5，_G4424、7]；
L = [1，_G4412、3，_G4418、5，_G4424、7，_G4430]；
假。
|
我在这里没有Prolog可以尝试，但我有点生锈，但是应该遵循
r（[]）：-[]。
r（[X]）：-[X]。
r（[X，Y | Z]）：-R ＝ r（Z），[X | R]。
[编辑]
当然垫是正确的。我的解决方案可以在Haskell或Erlang等功能语言中运行：
-哈斯克尔
r [] = []
r [x] = [x]
r（x：_：xs）= x：（r xs）
在Prolog中，您必须将右侧“拉”入参数列表以触发统一。
|
你的答案
StackExchange.ifUsing（“ editor”，function（）{
StackExchange.using（“ externalEditor”，function（）{
StackExchange.using（“ snippets”，function（）{
StackExchange.snippets.init（）;
}）;
}）;
}，“代码段”）；
StackExchange.ready（function（）{
var channelOptions = {
标签：“” .split（“”），
id：“ 1”
};
initTagRenderer（“”。split（“”），“” .split（“”），channelOptions）;
StackExchange.using（“ externalEditor”，function（）{
//如果启用了摘要，则必须在摘要后触发编辑器
如果（StackExchange.settings.snippets.snippetsEnabled）{
StackExchange.using（“ snippets”，function（）{
createEditor（）;
}）;
}
其他{
createEditor（）;
}
}）;
函数createEditor（）{
StackExchange.prepareEditor（{
useStacksEditor：否，
heartbeatType：“答案”，
autoActivateHeartbeat：否，
convertImagesToLinks：是，
noModals：是的，
showLowRepImageUploadWarning：是的，
声望：ToPostImages：10，
bindNavPrevention：正确，
后缀：“”，
imageUploader：{
brandingHtml：“由\ u003ca href = \“ https：//imgur.com/ \” \ u003e \ u003csvg class = \“ svg-icon \” width = \“ 50 \” height = \“ 18 \” viewBox = \“ 0 0 50 18 \” fill = \“ none \” xmlns = \“ http：//www.w3.org/2000/svg \” \ u003e \ u003cpath d = \“ M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.91628 46.0943 5.50789C45.74.6 4.313.6412 4.313.6662 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \“ / \ u003e \ u003cpath d = \” M32.492 10.1419C32.492 12.6954 34.1182 14.048437.0451 14.0484 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5455C35.8209 11.5455 35.4954 10.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \“ / \ u003e \ u003cpath fill-rule = \” evenodd \“ clip-rule = \” evenodd \“ d = \“ M25.6622 17.6335C27.8049 17.6335 29.373916.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C27.499 4.86533 26.7335 4.56087 25.7005 4.56087C23.1369 6.134985 3.264 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.1256 12.8854 28.1301 12.9342 28.1301 12.983C28.1301 14.4373 27.2502 15.2321 25.777 15.2321C24.8349 15.2321 24.1352 14.2473.437.23 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 1.1561.6116 24.1311 10.6491 24.1317 9.27932Z \“ / \ u003e \ u003cpath d = \” M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34336 4.62866 8.57809 4.89931 4.7925.6 4.327.9662 4.66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91179C10.5104 6.91179 10.893.18.893 8.94.1081 1.893 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \“ / \ u003e \ u003cpath d = \” M3.31675 6.59021C6.6183866 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \“ / \ u003e \ u003cpath d = \” M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z \“ = \“＃1BB76E \” / \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e“，
contentPolicyHtml：“根据\ u003ca href = \“ https：//stackoverflow.com/help/licensing \” \ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \“ https://stackoverflow.com获得许可的用户贡献/ legal / content-policy \“ \ u003e（内容策略）\ u003c / a \ u003e”，
allowUrls：是
}，
onDemand：是的，
dispatchSelector：“。discard-answer”
，立即ShowMarkdownHelp：true，enableTables：true，enableSnippets：true
}）;
}
}）;
感谢您为Stack Overflow提供答案！
请务必回答问题。提供详细信息并分享您的研究！
但是要避免...
寻求帮助，澄清或回答其他答案。
根据意见发表声明；用参考或个人经验来备份它们。
要了解更多信息，请参阅有关编写出色答案的提示。
草稿已保存
草稿丢弃
注册或登录
StackExchange.ready（function（）{
StackExchange.helpers.onClickDraftSave（'＃login-link'）;
}）;
使用Google注册
使用Facebook注册
使用电子邮件和密码注册
提交
以访客身份发布
名称
电子邮件
必需，但从未显示
StackExchange.ready（
函数（）{
StackExchange.openid.initPostLogin（'。new-post-login'，'https％3a％2f％2fstackoverflow.com％2fquestions％2f5935133％2fprolog-如何删除列表中的每个第二个元素％ 23new-answer”，“ question_page”）；
}
）;
以访客身份发布
名称
电子邮件
必需，但从未显示
发表您的答案
丢弃
点击“发布答案”，即表示您同意我们的服务条款，隐私政策和Cookie政策
不是您要找的答案？浏览标记为列表序言的其他问题或提出您自己的问题。