艾伯特Learn Prolog Now

《艾伯特Learn Prolog Now》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、LearnPrologNow!PatrickBlackburnJohanBosKristinaStriegnitzwww.aibbt.com让未来触手可及Copyright
cbyPatrickBlackburn,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.1Recursivedefinitions.........................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