電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
表元素枚舉：member(X,L)
其中L為表，X為L中的元素。
表元素的枚舉可以采用如下遞歸子句：
1、首先列舉表的第一個元素
?member(X, [X|_]).
2、去掉表的第一個元素，對表尾進行遞歸處理
?member(X, [_|L]):-member(X, L).
～～～～～～～～～～～～～～～～～～
表元素判斷：is_member(X,L)
在已知X的情況下，判斷一個元素X是否屬于表L的子句與表元素枚舉謂詞略有不同，其中，當第一個元素與X相同時，可以采用cut謂詞阻止進一步的搜索。
?is_member(X, [X|_]):-!.
?is_member(X, [_|L]):-member(X, L).
～～～～～～～～～～～～～～～～～～
表的合并：append(L1, L2, L)
兩個表的合成是指將兩個表L1, L2的元素并在一起構成一個新表L。例如，表L1=[1,2,3]與表L2=[3,1,2,4]可以合并成一個新表L=[1,2,3,3,1,2,4]，其中新表中前3個元素為第一個表的元素，后4個元素為第二個表的元素。
表的合并可以遞歸定義如下：
?append([], L, L).
?append([X|L1], L2, [X|L]):-append(L1, L2, L).
第一個子句描述了一個空表與一張表的合并結果就是該表本身；第二個子句描述了當合并兩張表時，可以先將第一張表的首元素放入結果表中，然后，將第一張表的表尾與第二張表合并在一起，構成結果表的表尾。
在已知結果表的情況下，表的合并謂詞還可以枚舉各種情況下子表L1和L2的結果，對于目標：
goal
append(L1, L2, [1,2,3]).
生成的結果如下：
L1=[]; L2=[1,2,3]
L1=[1]; L2=[2,3]
L1=[1,2]; L2=[3]
L1=[1,2,3]; L2=[]
- 話處理器基礎知識 1次下載
- FPGA在視頻處理中的應用綜述 18次下載
- Hi3531DV100 H.265編解碼處理器用戶手冊 16次下載
- Genesis2000的內層線路處理步驟教程 0次下載
- 人工智能邏輯程序設計語言的學習課件免費下載 2次下載
- 基于matlab GUI的彩色圖像處理技術設計方案資料下載 29次下載
- tms320c6474如何處理核心間通信 4次下載
- 多核處理器如何給醫療成像帶來創新 10次下載
- TMS320C6474數字信號處理器硅修訂2.1, 1.2, 1.1, 1.0 勘誤表 4次下載
- 一種支持安全多方同態乘積計算的謂詞加密算法 3次下載
- 基于Prolog語言的裝備維修決策專家系統設計與開發王廣彥 0次下載
- Visual_Prolog_V7_邊學邊練 0次下載
- Prolog教程 0次下載
- Visual_Prolog_V7.2_初學指南 0次下載
- 數字圖像處理在指針式指示表讀數識別中的應用
- 電接點壓力表的安裝_電接點壓力表常見故障處理 1.2w次閱讀
- 淺談差分處理和信號分析 2160次閱讀
- 在貼片加工廠中有哪些安全防護需要了解 1408次閱讀
- 復合放大器實現高精度的高輸出驅動能力 獲得最佳的性能 1712次閱讀
- 用降壓型穩壓器或線性穩壓器電源時值來會為負載供電 1058次閱讀
- 三相電度表反轉原因_三相電度表反轉的處理方法 3.5w次閱讀
- 解析PCB電鍍后處理的12類處理方法工藝 4710次閱讀
- 雙芯智能電能表的計量芯時鐘處理方法及裝置 1035次閱讀
- 基于PDA的電能表輪換數據處理系統的原理及設計 1557次閱讀
- 超聲波燃氣表混合信號處理電路的原理及設計 2918次閱讀
- 萬用表檢測熱電偶好壞的方法_熱電偶的常見故障及處理辦法 7.1w次閱讀
- Read系統調用在用戶空間中的處理過程 5085次閱讀
- prolog中文教程及語法規則 2.1w次閱讀
- 人工智能lisp和prolog比較 6387次閱讀
- 一種簡易數字電壓表的設計與制作 1.3w次閱讀
上傳資料賺積分下載排行
本周
- 1涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 2錦銳科技CA51F2 SDK開發包
- 24.06 MB | 29次下載 | 1 積分
- 3錦銳CA51F005 SDK開發包
- 19.47 MB | 5次下載 | 1 積分
- 4基礎模擬電子電路
- 3.80 MB | 5次下載 | 1 積分
- 5PCB的EMC設計指南
- 2.47 MB | 5次下載 | 1 積分
- 6蘋果iphone 11電路原理圖
- 4.98 MB | 4次下載 | 2 積分
- 7STM32F3系列、STM32F4系列、STM32L4系列和STM32L4+系列Cortex-M4編程手冊
- 3.32 MB | 4次下載 | 免費
- 8蘋果ipad5電路原理圖
- 1.23 MB | 1次下載 | 2 積分
本月
- 1AI智能眼鏡產業鏈分析
- 4.43 MB | 384次下載 | 免費
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 296次下載 | 5 積分
- 3貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 95次下載 | 1 積分
- 4長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 91次下載 | 5 積分
- 5涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 6錦銳科技CA51F2 SDK開發包
- 24.06 MB | 29次下載 | 1 積分
- 7AO4803A雙P通道增強型場效應晶體管的數據手冊
- 0.11 MB | 28次下載 | 2 積分
- 8長虹液晶彩電LS29機芯的技術資料說明
- 3.42 MB | 16次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191388次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論