プロローグ：リストの1つおきの要素を削除する方法

これは、特定のProlog構文におけるLandeiの答えです。
r（[]、[]）。
r（[X]、[X]）。
r（[X、_ | Xs]、[X | Ys]）：-r（Xs、Ys）。
2番目の述語は必要ありません。
|
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）を反転させながら、リストを調べることです。また、「奇数/偶数」フラグがtrueに等しい要素を追加し、他の要素をスキップすることにより、リストを徐々に作成します。
|
@ code_x386によるこのすばらしい答えは、差分リストとfoldl / 4を利用しています。
fold_step / 3句を1つだけ使用して、次のように関係をより一般的にしましょう。
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]
編集
節を1つ少なくして、述語fold_step / 3を廃止してみませんか？
ラムダが救助に！
：-use_module（library（lambda））。
list_odds_evens（List、Odds、Evens）：-
foldl（\ X ^（[X | Xs] + Ys）^（Ys + Xs）^ true、リスト、オッズ+偶数、[] + []）。
|
もう1つの可能性は、DCGを使用することです。通常、リストを説明するときにDCGを検討する価値があります。
list_oddindices（L、O）：-
フレーズ（oddindices（L）、O）。 ％リストOはoddindices // 1で記述されています
oddindices（[]）-> Lが空の場合は％
[]。 ％Oも空です
oddindices（[X]）->％Lに要素が1つしかない場合
[バツ]。 ％それはOにあります
oddindices（[O、_E | OEs]）->％Lの頭が少なくとも2つの要素で構成されている場合
[O]、％最初はOにあります
奇数（OE）。 ％同じことが尾にも当てはまります
これは確かにfoldl / 4を使用したソリューションよりもエレガントではありませんが、コードは非常に読みやすく、OPによって記述されたタスクを解決し、両方の方法で機能します。
？-list_oddindices（[1,2,3,4,5,6,7]、O）。
O = [1、3、5、7];
false。
？-list_oddindices（L、[1,3,5,7]）。
L = [1、_G4412、3、_G4418、5、_G4424、7];
L = [1、_G4412、3、_G4418、5、_G4424、7、_G4430];
false。
|
私はそれを試すためのプロローグをここに持っていません、そして私は少し錆びました、しかしそれはの線に沿っているべきです
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（ "スニペット"、function（）{
StackExchange.snippets.init（）;
}）;
}）;
}、 "コードスニペット"）;
StackExchange.ready（function（）{
var channelOptions = {
タグ： "" .split（ ""）、
id： "1"
};
initTagRenderer（ ""。split（ ""）、 "" .split（ ""）、channelOptions）;
StackExchange.using（ "externalEditor"、function（）{
//スニペットが有効になっている場合は、スニペットの後にエディターを起動する必要があります
if（StackExchange.settings.snippets.snippetsEnabled）{
StackExchange.using（ "スニペット"、function（）{
createEditor（）;
}）;
}
そうしないと {
createEditor（）;
}
}）;
function createEditor（）{
StackExchange.prepareEditor（{
useStacksEditor：false、
heartbeatType： '回答'、
autoActivateHeartbeat：false、
convertImagesToLinks：true、
noModals：true、
showLowRepImageUploadWarning：true、
レピュテーションToPostImages：10、
bindNavPrevention：true、
後置： ""、
imageUploader：{
brandingHtml： "Powered by \ 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.7 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.0484 37.0451 14.0484C39.9723 14.0 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 4.560 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。 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 10.6321 27。 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 7.9466 5.50 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 7.58817 10.893 8.94108V11.9512C 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.59049C3.31675 5.288 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：true
}、
オンデマンド：true、
DiscardSelector： ".discard-answer"
、immediatelyShowMarkdownHelp：true、enableTables：true、enableSnippets：true
}）;
}
}）;
Stack Overflowへの回答を提供していただきありがとうございます！
必ず質問に答えてください。詳細を提供し、あなたの研究を共有してください！
しかし避けてください…
助けを求める、説明する、または他の答えに答える。
意見に基づいて発言する。参照または個人的な経験でそれらをバックアップします。
詳細については、優れた回答を書くためのヒントをご覧ください。
ドラフトを保存しました
ドラフトは破棄されました
サインアップまたはログイン
StackExchange.ready（function（）{
StackExchange.helpers.onClickDraftSave（ '＃login-link'）;
}）;
Googleを使用してサインアップ
Facebookを使用してサインアップ
Eメールとパスワードを使用してサインアップ
参加する
ゲストとして投稿
名前
Eメール
必須ですが、表示されません
StackExchange.ready（
関数 （） {
StackExchange.openid.initPostLogin（ '。new-post-login'、 'https％3a％2f％2fstackoverflow.com％2fquestions％2f5935133％2fprolog-how-to-remove-every-second-element-of-a-list％ 23new-answer '、' question_page '）;
}
）;
ゲストとして投稿
名前
Eメール
必須ですが、表示されません
あなたの答えを投稿してください
破棄
「PostYourAnswer」をクリックすると、利用規約、プライバシーポリシー、Cookieポリシーに同意したことになります。
あなたが探している答えではありませんか？リストプロローグでタグ付けされた他の質問を閲覧するか、独自の質問をしてください。