推 supergothere:全部啦~~快快快… 218.166.123.66 06/14
→ MAJESTY949:啥全部==.= 61.64.144.152 06/14
※ 引述《afaye0211 (啦啦啦)》之銘言：
: ※ 引述《afaye0211 (啦啦啦)》之銘言：
: : 1.functional&logical programming在哪阿...?
: : 或是你直接po特性跟精神ㄅ...@.@
: : 2.declartive&procedual meaning的定義跟特性
: 對ㄌ還有prolog回答問題ㄉ流程~~~@@
以下答案不負責任 不過我會這樣寫...........
1.logic在課本 functional課本講義都有
logical programming:
運用簡單的符號和邏輯來撰寫程式,在實現方面不使用maping,
而以陳述的方式來解決和證明問題,所以又稱為推理機器,而且比較接近
機器是比較不friendly的語言
functional programming:
運用較複雜的符號或數學函式來撰寫程式,而且有較大的延伸性,
語意語法簡單但執行較慢,是比較friendly的語言
2.講義P.34~37
declartive meaning
即問題本身的涵義,舉例來說 P:-Q,R 的declartive meaning為
P is true if and only if Q and R are both true.
(上面那句的中文: 若且為若P則 Q and R,本覺得導不懂,所以英文保險..)
procedual meaning
即描述PROLOG如何回答問題,舉例來說 P:-Q,R 的declartive meaning為
如果要解決問題P,則我們必須先解決子問題Q和R
或如果要滿足P,則我們必須先滿足Q和R
3.講義P.15
PROLOG回答的流程
我翻成中文,用不用隨意=.=
將facts和rules集合延伸成一些定理,把問題當作是推測的理論,
然後用這些定理去證明
也可能是寫流程圖 老師會給題目 圖參照講義P.17
--
無可救藥愛上你
有誰能做我的安眠藥 有誰能讓我的靈魂好好睡個覺 空氣中妳的味道 散落在每個街角
擦不掉 腦海有太多疼痛記憶 天使的笑容打亂回憶的軌道 囚禁在妳的依靠
像沒有效的解藥 睡不著 我在這個空間 轉來轉去只剩下黑眼圈 往事不斷重複出現
沒有你我睡不著 忘記你我做不到 愛妳無可救藥 沒有你我睡不著 街上隨便跑
想找到有妳的街道 我像隻狗 在尋找 我像笨蛋 忘不掉 誰讓我休息一下
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.64.144.152