learn prolog now phần 9 docx

... as a variable. 9. 6. Practical Session 141 ?- display(2+3+4). +(+(2, 3), 4) Yes In fact, this property of display makes it a very useful tool for learning how operators work in Prolog. So, before ... chosen a value for Y. 4. Prolog then goes on, and by instantiating Y to 1, Prolog matches j(Y) with the fact j(1). So we have found a solution. 5. But we can find more. Prolog is free to t...

Ngày tải lên: 12/08/2014, 20:22

... query s([a,woman,shoots],[])? Prolog gets into an infinte loop. Can you see why? The point is this. Prolog translates DCG rules into ordinary Prolog rules. If we place the recursive rule s -> s,conj,s in the knowledge ... end of the knowledge base, so that Prolog always ecounters the translation of the non-recursive rule first. What happens now, when we pose the query s([a,woman,sho...

Ngày tải lên: 12/08/2014, 20:22

... tree. append([a,b,c],[1,2,3],_G518) append([b,c],[1,2,3],_G587) _G518 = [a|_G587] append([c],[1,2,3],_G 590 ) _G587 = [b|_G 590 ] append([],[1,2,3],_G 593 ) _G 590 = [c|_G 593 ] _G 593 = [] 1. Goal 1: append([a,b,c],[1,2,3],_G518). Prolog matches this to the head of the ... _G4 89) is known. ?- len([a,b,c],L). Call: (6) len([a, b, c], _G418) ? Call: (7) len([b, c], _G481) ? Call: (8) len([c...

Ngày tải lên: 12/08/2014, 20:22

... Furthermore, we now take advantage of Prolog s first argument indexing which makes looking up a word in the lexicon more efficient. First argument indexing is a technique for making Prolog s knowledge ... with natural language from a computational perspective, you need to know a lot of words, and you need to know a lot about them. Now, our little lexicon, with its simple two-place lex entr...

Ngày tải lên: 12/08/2014, 20:22

... X\==Y. X = _ 798 Y = _ 799 yes Again, we know from above that the query X==Y fails, thus X\==Y succeeds 9. 2 Terms with a special notation Sometimes terms look different to us, but Prolog regards ... 1is3+-2. When we learned about arithmetic in Prolog, we saw that Prolog knows about the con- ventions for disambiguating arithmetic expressions. So, when we write 2+3*3 for example, Prol...

Ngày tải lên: 12/08/2014, 20:22

... important. If we now ask for a listing we see that the database now contains sum(0,0,0). sum(0,1,1). sum(0,2,2). sum(0,3,3). sum(0,4,4). sum(0,5,5). sum(0,6,6). sum(0,7,7). sum(0,8,8). sum(0 ,9, 9). sum(1,0,1). sum(1,1,2). sum(1,2,3). sum(1,3,4). sum(1,4,5). sum(1,5,6). sum(1,6,7). sum(1,7,8). sum(1,8 ,9) . sum(1 ,9, 10). . . . . . Question: ... you have to tell Prolog that this module...

Ngày tải lên: 12/08/2014, 20:22