資源描述:
《艾伯特Learn Prolog Now》由會員上傳分享,免費在線閱讀,更多相關內(nèi)容在行業(yè)資料-天天文庫。
1、LearnPrologNow!PatrickBlackburnJohanBosKristinaStriegnitzwww.aibbt.com讓未來觸手可及CopyrightcbyPatrickBlackburn,JohanBosandKristinaStriegnitz,2001patrick@aplog.orgjbos@cogsci.ed.ac.ukkris@coli.uni-sb.deThiscourseisalsoavailableonline:http://www.coli.uni-sb.de/kris/learn-prolog-n
2、owwww.aibbt.com讓未來觸手可及Contents1Facts,Rules,andQueries11.1Somesimpleexamples........................11.1.1KnowledgeBase1......................11.1.2KnowledgeBase2......................31.1.3KnowledgeBase3......................41.1.4KnowledgeBase4......................61.1.5K
3、nowledgeBase5......................81.2PrologSyntax.............................81.2.1Atoms.............................91.2.2Numbers............................91.2.3Variables............................91.2.4Complexterms........................101.3Exercises..............
4、..................111.4PracticalSession1..........................132MatchingandProofSearch172.1Matching................................172.1.1Examples...........................192.1.2Theoccurscheck.......................222.1.3Programmingwithmatching.................232.2
5、ProofSearch..............................262.3Exercises................................312.4PracticalSession2..........................33www.aibbt.com讓未來觸手可及3Recursion373.1Recursivede?nitions.........................373.1.1Example1:Eating......................373.1.2Example
6、2:Descendant...................403.1.3Example3:Successor....................433.1.4Example3:Addition.....................453.2Clauseordering,goalordering,andtermination.........473.3Exercises................................493.4PracticalSession3..........................514
7、Lists554.1Lists...................................554.2Member.................................594.3Recursingdownlists.........................614.4Exercises................................654.5PracticalSession4..........................665Arithmetic695.1ArithmeticinProlog..
8、........................695.2Acloserlook..............................715.3Arithme