This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
en:dydaktyka:ggp:gdl [2019/01/03 22:50] msl reverts <code prolog> to <code> because of the environment bug |
en:dydaktyka:ggp:gdl [2019/06/27 15:49] 127.0.0.1 external edit |
||
|---|---|---|---|
| Line 299: | Line 299: | ||
| {{ :pl:dydaktyka:ggp:rock-paper-spock.jpg?300|}} | {{ :pl:dydaktyka:ggp:rock-paper-spock.jpg?300|}} | ||
| - | Please model the "Rock Paper Scissors Lizard Spock" game. You can learn the rules from this [[https://www.youtube.com/watch?v=iapcKVn7DdY|video]]. The image on the right is also a good reference. You can practice it with a colleague or like a modern man: [[http://www.playmycode.com/play/game/cainy393/rock-paper-scissors-lizard-spock|online...]]. | + | Please model the "Rock Paper Scissors Lizard Spock" game. You can learn the rules from this [[https://www.youtube.com/watch?v=iapcKVn7DdY|video]]. The image on the right is also a good reference. You can practice it with a colleague or like a modern man: [[https://rpsls.net|online...]]. |
| ===== - Knowledge Interchange Format ===== | ===== - Knowledge Interchange Format ===== | ||
| Line 315: | Line 315: | ||
| and KIF: | and KIF: | ||
| - | <code lisp> | + | <code scheme> |
| (p a ?y) | (p a ?y) | ||
| (not (p a ?y)) | (not (p a ?y)) | ||
| Line 327: | Line 327: | ||
| For every example below, tell if the KIF version is a faithful translation of the Prolog one. | For every example below, tell if the KIF version is a faithful translation of the Prolog one. | ||
| - | <code lisp> | + | <code scheme> |
| r(a,b) :- p(a) & q(b) | r(a,b) :- p(a) & q(b) | ||
| (<= (r a b) (and (p a) (q b))) | (<= (r a b) (and (p a) (q b))) | ||
| </code> | </code> | ||
| - | <code lisp> | + | <code scheme> |
| r(a,b) :- p(a) & q(b) | r(a,b) :- p(a) & q(b) | ||
| (<= (r a b) (p a) (q b)) | (<= (r a b) (p a) (q b)) | ||
| </code> | </code> | ||
| - | <code lisp> | + | <code scheme> |
| r(x,y) :- p(x) & q(y) | r(x,y) :- p(x) & q(y) | ||
| (<= (r ?x ?y) (p ?x) (q ?y)) | (<= (r ?x ?y) (p ?x) (q ?y)) | ||
| </code> | </code> | ||
| - | <code lisp> | + | <code scheme> |
| r(X,Y) :- p(X) & q(Y) | r(X,Y) :- p(X) & q(Y) | ||
| (<= (r ?x ?y) (p ?x) (q ?y)) | (<= (r ?x ?y) (p ?x) (q ?y)) | ||
