Skip to content

Instantly share code, notes, and snippets.

@dietercastel

dietercastel/rps.pbl

Last active August 16, 2020 12:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dietercastel/c72db3f25f1c3f4d5dc5eacefc49c84f to your computer and use it in GitHub Desktop.
Save dietercastel/c72db3f25f1c3f4d5dc5eacefc49c84f to your computer and use it in GitHub Desktop.
Download ZIP
Multiplayer Rock, Paper, Scissors win chance problog.
Raw
rps.pbl
% Rock, Paper, Scissors in problog.
% Editor URL: https://dtai.cs.kuleuven.be/problog/editor.html#task=prob&hash=462b1ed73475d1bbd67dbc1f6d503a4c
1/3::rock(X); 1/3::paper(X) ; 1/3::scissors(X) :- rps(X).
%1/5::rock(X); 1/5::paper(X) ; 1/5::scissors(X) ; 1/5::lizard(X); 1/5::spock(X) :- rpslk(X).
rps(X) :- between(1,11,X).
%rps(1).
%rps(2).
%rps(3).
%rpslk(4).
winsFrom(X,Y) :- rps(X), rock(X), rps(Y), scissors(Y), X \== Y.
winsFrom(X,Y) :- rps(X), scissors(X), rps(Y), paper(Y), X \== Y.
winsFrom(X,Y) :- rps(X), paper(X), rps(Y), rock(Y), X \== Y.
stalemate(X,Y,Z) :- rock(X), paper(Y), scissors(Z), X \== Y, Y \== Z, X \== Z.
stalemateChance :- stalemate(X,Y,Z).
winChance :- \+ stalemate(X,Y,Z).
%query(winsFrom(_,_)).
%query(stalemate(_,_,_)).
query(stalemateChance).
query(winChance).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment