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.324.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政策
不是您要找的答案？瀏覽標記為列表序言的其他問題或提出您自己的問題。