Fluxx - The game with ever changing rules.

Fluxx is a registered trademark of Looney Labs! This project does not profit in anyway from their IP.

Keeper: George	Keeper: Abhijet	Keeper: Tristan	Keeper: Vinay	Keeper: MRG	Keeper: Symbium	Keeper: Dogecoin	Keeper: Jack	Keeper: Muhammad	Keeper: Sierra
Keeper: Epilog	Keeper: Symbolic AI	Keeper: Gamemaster	Keeper: Homework	Keeper: Pelican Hunter	Keeper: Database	Keeper: Operation	Keeper: View Definition	Goal: All-Star TAs George + Abhijet	Goal: Logical MRG + Vinay
Goal: Mr CEO Symbium + Abhijet	Goal: The Intern Symbium + George	Goal: GuestSpeakers Tristan + George	Goal: A Plus? Muhammad + Jack	Goal: Idea Guy Symbium + MRG	Goal: Fluency Epilog + Vinay	Goal: True Love Dogecoin + Jack	Goal: Stupidity Dogecoin + Muhammad	Goal: Origin Story Symbolic AI + Epilog	Goal: The Future Epilog + Dogecoin
Goal: Turing Test Gamemaster + Symbolic AI	Goal: MUST Do Sierra + Homework	Goal: Question Homework + Pelicanhunter	Goal: Ambiguity View Definition + Operation	Goal: Changes Database + Operation	Goal: Tested For Pelicanhunter + Operation	Goal: Metaphysical Symbolic AI + Database	Goal: Made By Sierra + MRG	Action: Draw 2	Action: Draw 3
Action: Draw 4	Action: Play 2	Action: Play 3	Action: Hand limit 0	Action: Hand limit 1	Action: Hand limit 2	Action: Hand limit 4	Action: Hand limit 5	Keeper Limit: 2	Keeper Limit: 3
Keeper Limit: 4	Steal opponent hand	End turn	Back to the Basics

Keeper: Brain	Keeper: Bread	Keeper: Chocolate	Keeper: Cookies	Keeper: Death	Keeper: Dreams	Keeper: Love	Keeper: Milk	Keeper: Money	Keeper: Moon
Keeper: Peace	Keeper: Rocket	Keeper: Sleep	Keeper: Sun	Keeper: Television	Keeper: Time	Keeper: Toaster	Keeper: War	Goal: Appliances Toaster + Television	Goal: Baked Bread + Cookies
Goal: Bedtime Sleep + Time	Goal: ChocoCookies Chocolate + Cookies	Goal: ChocoMilk Chocolate + Milk	Goal: DeathbyChoco Death + Chocolate	Goal: Dreamland Sleep + Dreams	Goal: LoveOnBrain Love + Brain	Goal: Hippyism Peace + Love	Goal: Milk&Cookies Milk + Cookies	Goal: Day n' Night Sun + Moon	Goal: Nuclear Rocket + War
Goal: RocketScience Rocket + Brain	Goal: Apollo Rocket + Moon	Goal: HotChoco Sun + Chocolate	Goal: Time=Money Time + Money	Goal: TimeTravel Time + Rocket	Goal: Toast Bread + Toaster	Goal: War&Death War + Death	Goal: Lotto Dreams + Money	Action: Draw 2	Action: Draw 3
Action: Draw 4	Action: Play 2	Action: Play 3	Action: Hand limit 0	Action: Hand limit 1	Action: Hand limit 2	Action: Hand limit 4	Action: Hand limit 5	Keeper Limit: 2	Keeper Limit: 3
Keeper Limit: 4	Steal opponent hand	End turn	Back to the Basics

Color code

Current Goal (Green):

Vinay's hand (Pink):

Vinay's hoard (Red):

MRG's hand (Yellow):

MRG's hoard (Gold):

Card in deck: White

Card discarded: Gray

keeper(brain)
    keeper(bread)
    keeper(chocolate)
    keeper(cookies)
    keeper(death)
    keeper(dreams)
    keeper(love)
    keeper(milk)
    keeper(money)
    keeper(moon)
    keeper(peace)
    keeper(rocket)
    keeper(sleep)
    keeper(sun)
    keeper(television)
    keeper(time)
    keeper(toaster)
    keeper(war)
    goal(appliances,toaster,television)
    goal(baked,bread,cookies)
    goal(bedtime,sleep,time)
    goal(chocolatecookies,chocolate,cookies)
    goal(chocolatemilk,chocolate,milk)
    goal(deathbychocolate,chocolate,death)
    goal(dreamland,sleep,dreams)
    goal(loveonthebrain,love,brain)
    goal(hippyism,peace,love)
    goal(milkandcookies,milk,cookies)
    goal(nightandday,sun,moon)
    goal(nuclear,rocket,war)
    goal(rocketscience,rocket,brain)
    goal(apollo,rocket,moon)
    goal(hotchocolate,sun,chocolate)
    goal(timeismoney,time,money)
    goal(timetravel,time,rocket)
    goal(toast,bread,toaster)
    goal(waranddeath,war,death)
    goal(lottery,dreams,money)
    newrule(draw2)
    newrule(draw3)
    newrule(draw4)
    newrule(draw5)
    newrule(play2)
    newrule(play3)
    newrule(play4)
    newrule(handlimit0)
    newrule(handlimit1)
    newrule(handlimit2)
    newrule(handlimit4)
    newrule(handlimit5)
    newrule(keeperlimit2)
    newrule(keeperlimit3)
    newrule(keeperlimit4)
    newrule(backtobasics)
    newrule(endturn)
    newrule(stealopphand)

control(mrg)
    isplayer(vinay)
    isplayer(mrg)
    take(1)
    play(1)
    maxHand(3)
    maxHoard(3)
    numdrawn(0)
    numplayed(0)
    hand(vinay,[])
    hand(mrg,[])
    hoard(vinay,[])
    hoard(mrg,[])
    goalinplay(nogoal)

firstmove(vinay)
    firstmove(mrg)

gamewmode(vanilla)

%%% significant "helper" view relations %%%
    remove(X,nil,nil)
    remove(X,X!L,M) :- remove(X,L,M)
    remove(X,Y!L,Y!M) :- distinct(X,Y) & remove(X,L,M)

keepers(A) :- evaluate(setofall(B, keeper(B) & ~discardedkeeper(B)), A)
    goals(A) :- evaluate(setofall(B, goal(B, Q, Z) & ~discardedgoal(B)), A)
    actions(A) :- evaluate(setofall(B, newrule(B) & ~discardedrule(B)), A)
    lessthan(A, B) :- evaluate(min(A,B),A) & distinct(A,B)
    lessthanequals(A, B) :- evaluate(min(A,B),A)
    won(P) :- goalinplay(G) & goal(G, A, B) & hoard(P, L) & member(A, L) & member(B, L)

innerhtml(win, P) :- won(P)

%%% view relations for the deck %%%
    isdeckempty :- evaluate(countofall(A, indeck(A)), 0)
    deck(D) :- evaluate(setofall(A, indeck(A)), D)
    indeck(C) :- keepers(K) & goals(G) & actions(A) & or(member(C, K) & ~activecard(C), member(C, G) & ~activecard(C), member(C, A) & ~activecard(C))

%%% main textbox display rules %%%
    style(windescription,display,block) :- won(P)

style(turndescription1,display,inline) :- isplayer(P) & control(P)
    style(turndescription1,display,none) :- isplayer(P) & won(P)
    style(turndescription2,display,inline) :- isplayer(P) & control(P)
    style(turndescription2,display,none) :- isplayer(P) & won(P)
    innerhtml(turn, P) :- isplayer(P) & control(P)
    style(turn,display,none) :- isplayer(P) & won(P)

resolvehandlimit :- numplayed(N) & play(T) & evaluate(N, T) & control(P) & hand(P, H) & maxHand(MH) & evaluate(length(H), HH) & lessthan(MH, HH)
    resolvehoardlimit :- numplayed(N) & play(T) & evaluate(N, T) & control(P) & hoard(P, H) & maxHoard(MH) & evaluate(length(H), HH) & lessthan(MH, HH)
    style(hoardlimitdescription,display,inline) :- resolvehoardlimit
    style(hoardlimitdescription,display,none) :- or(won(P), ~resolvehoardlimit)
    style(handlimitdescription,display,inline) :- resolvehandlimit
    style(handlimitdescription,display,none) :- or(won(P), ~resolvehandlimit)

%%% button display rules
    style(start, display, block) :- ~won(P) & control(Q) & firstmove(Q)
    style(start, display, none) :- or(won(P), control(Q) & ~firstmove(Q))
    style(draw,display,block) :- ~won(P) & control(P) &  ~firstmove(P) & numdrawn(N) & take(X) & lessthan(N,X)
    style(draw,display,none) :- or(won(P), control(Q) & firstmove(Q), numdrawn(N) & take(X) & evaluate(N, X))
    style(endturn,display,block) :- ~won(P) & or(~resolvehoardlimit & ~resolvehandlimit & numdrawn(ND) & take(T) & or(~lessthan(ND, T),evaluate(ND,T)) & numplayed(N) & play(X) & evaluate(N, X), hand(P, nil))
    style(endturn,display,none) :- or(won(P), numplayed(N) & play(X) & ~evaluate(N, X), resolvehoardlimit, resolvehandlimit)
    style(deckreshuffle,display,none) :- or(won(P), ~isdeckempty)
    style(deckreshuffle,display,block) :- ~won(P) & isdeckempty

% view definition used to tell us what is in the deck
    activecard(A) :- or(goalinplay(A), isplayer(P) & evaluate(P, mrg) & hand(P, L) & member(A, L), isplayer(P) & evaluate(P, mrg) & hoard(P, L) & member(A, L), isplayer(P) & evaluate(P, vinay) & hand(P, L) & member(A, L), isplayer(P) & evaluate(P, vinay) & hoard(P, L) & member(A, L))

%%% coloring for goals and keepers %%%
    style(card(G), background, green) :- goalinplay(G)
    style(card(A), background, yellow) :- hand(mrg, L) & member(A, L)
    style(card(A), background, gold) :- hoard(mrg, L) & member(A, L)
    style(card(A), background, pink) :- hand(vinay, L) & member(A, L)
    style(card(A), background, red) :- hoard(vinay, L) & member(A, L)
    style(card(A), background, gray) :- or(discardedgoal(A), discardedrule(A), discardedkeeper(A))
    
    style(card(A), background, white) :- indeck(A)

style(maxhand,display,inline) :- isplayer(P) & ~won(P)
    innerhtml(maxhandnum, N) :- isplayer(P) & ~won(P) & maxHand(N)
    style(maxhoard,display,inline) :- isplayer(P) & ~won(P)
    innerhtml(maxhoardnum, N) :- isplayer(P) & ~won(P) & maxHoard(N)
    style(take,display,inline) :- isplayer(P) & ~won(P)
    style(take,display,inline) :- isplayer(P) & ~won(P)
    innerhtml(takenum, N) :- isplayer(P) & ~won(P) & take(N)
    style(play,display,inline) :- isplayer(P) & ~won(P)
    innerhtml(playnum, N) :- isplayer(P) & ~won(P) & play(N)

innerhtml(thegoalthatiscurrent, A) :- goalinplay(A) 
    innerhtml(handofvinay, Z) :- hand(vinay, A) & evaluate(delistify(A), Z)
    innerhtml(hoardofvinay, Z) :- hoard(vinay, A) & evaluate(delistify(A), Z)
    innerhtml(handofmrg, Z) :- hand(mrg, A) & evaluate(delistify(A), Z)
    innerhtml(hoardofmrg, Z) :- hoard(mrg, A) & evaluate(delistify(A), Z)

%%% ends turn, giving control to other player %%%
    click(endturn) :: control(P) & isplayer(P) & isplayer(Q) & distinct(P, Q) & or(numplayed(NP) & play(PL) & evaluate(NP, PL) & numdrawn(ND) & take(DL) & evaluate(ND, DL), hand(P, nil)) ==> ~control(P) & control(Q) & ~numdrawn(ND) & numdrawn(0) & ~numplayed(NP) & numplayed(0)

%%% deals single card %%%
    click(draw) :: control(P) & numdrawn(N) & take(X) & lessthan(N, X) & hand(P, PL) & deck(D) & evaluate(choose(PC1, member(PC1, D)), PC) & evaluate(append([PC], PL), PLN) & evaluate(plus(N, 1), NN) ==> ~hand(P, PL) & hand(P, PLN) & ~numdrawn(N) & numdrawn(NN)

%%% deals initial hand %%%
    click(start) :: control(P) & isplayer(P) & hand(P, PL) & deck(D) & evaluate(choose(PC1, member(PC1, D)), PC) & deck(D2) & evaluate(choose(PC2, member(PC2, D2)), PCC) & deck(D3) & mutex(PC, PCC) & evaluate(choose(PC3, member(PC3, D3)), PCCC) & mutex(PC, PCC, PCCC) & evaluate(append([PC, PCC, PCCC], PL), PLN) ==> ~hand(P, PL) & hand(P, PLN) & ~firstmove(P)

%%% operation to play cards - keepers %%%
    click(card(C)) :: keeper(C) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L) & hoard(P, H) & evaluate(append([C], H), HH) & remove(C, L, LL) & evaluate(plus(N, 1), NN) ==> ~hoard(P, H) & hoard(P, HH) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN)

%%% operation to play cards - goals %%%
    click(card(C)) :: goals(G) & member(C, G) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L) & goalinplay(GP) & remove(C, L, LL) & evaluate(plus(N, 1), NN) ==> ~goalinplay(GP) & goalinplay(C) & discardedgoal(GP) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN)

%%%%% this can be decomposed better, but we're too far into our design to change it %%%

%%% operation to draw cards - action: drawX %%%
    click(card(C)) :: evaluate(C, draw2) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & take(T) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~take(T) & take(2)

click(card(C)) :: evaluate(C, draw3) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & take(T) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~take(T) & take(3)

click(card(C)) :: evaluate(C, draw4) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & take(T) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~take(T) & take(4)

%%% operation to play cards - action: playX %%%
    click(card(C)) :: evaluate(C, play2) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & play(PL) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~play(PL) & play(2)

click(card(C)) :: evaluate(C, play3) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & play(PL) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~play(PL) & play(3)

%%% operation to play cards - action: handlimitX %%%
    click(card(C)) :: evaluate(C, handlimit0) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHand(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHand(MH) & maxHand(0)

click(card(C)) :: evaluate(C, handlimit1) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHand(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHand(MH) & maxHand(1)

click(card(C)) :: evaluate(C, handlimit2) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHand(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHand(MH) & maxHand(2)

click(card(C)) :: evaluate(C, handlimit4) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHand(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHand(MH) & maxHand(4)

%%% operation to play cards - action: handlimitX %%%
    click(card(C)) :: evaluate(C, keeperlimit2) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHoard(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHoard(MH) & maxHoard(2)

click(card(C)) :: evaluate(C, keeperlimit3) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHoard(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHoard(MH) & maxHoard(3)

click(card(C)) :: evaluate(C, keeperlimit4) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & maxHoard(MH) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~maxHoard(MH) & maxHoard(4)

%%% special rules - swap opponent hand %%%
    click(card(C)) :: evaluate(C, stealopphand) & actions(A) & member(C, A) & control(P) & isplayer(P) & isplayer(Q) & distinct(P, Q) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L) & remove(C, L, LL) & hand(Q, LQ) & evaluate(plus(N, 1), NN) ==> discardedrule(C) & ~hand(P, L) & ~hand(Q, LQ) & hand(Q, LL) & hand(P, LQ)

%%% special rules - end turn %%%
    click(card(C)) :: evaluate(C, endturn) & actions(A) & member(C, A) & control(P) & isplayer(P) & isplayer(Q) & distinct(P, Q) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L) & remove(C, L, LL) & numdrawn(ND) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(0) & ~numdrawn(ND) & numdrawn(0) & ~control(P) & control(Q)

%%% special rules - back to the basics %%%
    click(card(C)) :: evaluate(C, backtobasics) & actions(A) & member(C, A) & control(P) & isplayer(P) & numplayed(N) & play(X) & lessthan(N, X) & hand(P, L) & member(C, L)
    & remove(C, L, LL) & evaluate(plus(N, 1), NN) & take(T) ==> discardedrule(C) & ~hand(P, L) & hand(P, LL) & ~numplayed(N) & numplayed(NN) & ~play(X) & play(1) & ~take(T) & take(1)

%%% click operations to resolve hand rule violations - discard keeper %%%
    click(card(C)) :: keeper(C) & control(P) & hand(P, H) & resolvehandlimit & member(C, H) & remove(C, H, LL)
    ==> discardedkeeper(C) & ~hand(P, H) & hand(P, LL)

%%% click operations to resolve hoard rule violations - discard keeper %%%
    click(card(C)) :: keeper(C) & control(P) & hoard(P, H) & resolvehoardlimit & member(C, H) & remove(C, H, LL)
    ==> discardedkeeper(C) & ~hoard(P, H) & hoard(P, LL)

%%% click operations to resolve hand rule violations - discard goal %%%
    click(card(C)) :: goals(G) & member(C, G) & control(P) & hand(P, H) & resolvehandlimit & member(C, H) & remove(C, H, LL)
    ==> discardedgoal(C) & ~hand(P, H) & hand(P, LL)

%%% click operations to resolve hand rule violations - discard action %%%
    click(card(C)) :: newrule(C) & control(P) & hand(P, H) & resolvehandlimit & member(C, H) & remove(C, H, LL)
    ==> discardedrule(C) & ~hand(P, H) & hand(P, LL)

%%% operation to add discarded cards to deck %%%
    click(deckreshuffle) :: isdeckempty & discardedgoal(G) ==> ~discardedgoal(G)
    click(deckreshuffle) :: isdeckempty & discardedrule(R) ==> ~discardedrule(R)
    click(deckreshuffle) :: isdeckempty & discardedkeeper(K) ==> ~discardedkeeper(K)

%%% operations to restart/reset game %%%
    newgame() :: hand(vinay, LL) & hand(mrg, ZZ) & hoard(vinay, LLL) & hoard(mrg, ZZZ) ==> ~hand(vinay, LL) & ~hand(mrg, ZZ) & hand(vinay, []) & hand(mrg, []) & ~hoard(mrg, ZZZ) & ~hoard(vinay, LLL) & hoard(vinay, []) & hoard(mrg, [])
    newgame() :: goalinplay(A) ==> ~goalinplay(A) & goalinplay(nogoal)

load :: hand(vinay, LL) & hand(mrg, ZZ) & hoard(vinay, LLL) & hoard(mrg, ZZZ) ==> ~hand(vinay, LL) & ~hand(mrg, ZZ) & hand(vinay, []) & hand(mrg, []) & ~hoard(mrg, ZZZ) & ~hoard(vinay, LLL) & hoard(vinay, []) & hoard(mrg, [])

load :: goalinplay(A) ==> ~goalinplay(A) & goalinplay(nogoal)

%%% SPECIAL CS151 VERSION - handle change of dataset and board for special CS151 themed Fluxx game %%% 
    style(vanilladeck, display, inline-block) :- gamemode(vanilla)
    style(vanilladeck, display, none) :-  gamemode(special)
    style(cs151deck, display, inline-block) :- gamemode(special) 
    style(cs151deck, display, none) :- gamemode(vanilla) 
    style(specialdeck, display, inline-block) :- gamemode(vanilla) 
    style(specialdeck,display,none) :- gamemode(special)
    style(revert, display, inline-block) :- gamemode(special)
    style(revert,display,none) :- gamemode(vanilla)

click(specialdeck) :: ~gamemode(vanilla) & gamemode(special)
    click(specialdeck) :: ~keeper(brain) & ~keeper(bread) & ~keeper(chocolate) & ~keeper(cookies) & ~keeper(death) & ~keeper(dreams) & ~keeper(love) & ~keeper(milk) & ~keeper(money) & ~keeper(moon) & ~keeper(peace) & ~keeper(rocket) & ~keeper(sleep) & ~keeper(sun) & ~keeper(television) & ~keeper(time) & ~keeper(toaster) & ~keeper(war)
    click(specialdeck) :: ~goal(appliances,toaster,television) & ~goal(baked,bread,cookies) & ~goal(bedtime,sleep,time) & ~goal(chocolatecookies,chocolate,cookies) & ~goal(chocolatemilk,chocolate,milk) & ~goal(deathbychocolate,chocolate,death) & ~goal(dreamland,sleep,dreams) & ~goal(loveonthebrain,love,brain) & ~goal(hippyism,peace,love) & ~goal(milkandcookies,milk,cookies) & ~goal(nightandday,sun,moon) & ~goal(nuclear,rocket,war) & ~goal(rocketscience,rocket,brain) & ~goal(apollo,rocket,moon) & ~goal(hotchocolate,sun,chocolate) & ~goal(timeismoney,time,money) & ~goal(timetravel,time,rocket) & ~goal(toast,bread,toaster) & ~goal(waranddeath,war,death) & ~goal(lottery,dreams,money)
    click(specialdeck) :: keeper(george) & keeper(abhijet) & keeper(tristan) & keeper(vinay) & keeper(mrg) & keeper(symbium) & keeper(dogecoin) & keeper(jack) & keeper(muhammad) & keeper(sierra) & keeper(epilog) & keeper(symbolicai) & keeper(gamemaster) & keeper(homework) & keeper(pelicanhunter) & keeper(database) & keeper(operation) & keeper(viewdefinition)
    click(specialdeck) :: goal(allstartas, george, abhijet) & goal(logical, mrg, vinay) & goal(mrceo, symbium, abhijet) & goal(theintern, symbium, george) & goal(guestspeakers, tristan, george) & goal(aplus, muhammad, jack) & goal(ideaguy, mrg, symbium) & goal(fluency, vinay, epilog) & goal(truelove, dogecoin, jack) & goal(stupid, dogecoin, muhammad) & goal(originstory, symbolicAI, epilog) & goal(thefuture, dogecoin, epilog) & goal(turingtest, gamemaster, symbolicAI) & goal(mustdo, sierra, homework) & goal(thequestion, homework, pelicanhunter) & goal(ambiguity, operation, viewdefinition) & goal(changes, operation, database) & goal(testedfor, pelicanhunter, operation) & goal(metaphysical, symbolicAI, database) & goal(madeby, sierra, mrg) 
    click(specialdeck) :: goalinplay(X) ==> ~goalinplay(X) & goalinplay(nogoal)
    click(specialdeck) :: take(A) & play(B) & numdrawn(X) & numplayed(Y) ==> ~take(A) & ~play(B) & ~numdrawn(X) & ~numplayed(Y)
    click(specialdeck) :: take(1) & play(1) & numdrawn(0) & numplayed(0)
    click(specialdeck) :: hand(vinay, LL) & hand(mrg, ZZ) & hoard(vinay, LLL) & hoard(mrg, ZZZ) ==> ~hand(vinay, LL) & ~hand(mrg, ZZ) & hand(vinay, []) & hand(mrg, []) & ~hoard(mrg, ZZZ) & ~hoard(vinay, LLL) & hoard(vinay, []) & hoard(mrg, [])
    click(specialdeck) :: control(P) ==> firstmove(P) 
    click(specialdeck) :: deckempty

click(revert) :: ~gamemode(special) & gamemode(vanilla)
    click(revert) :: keeper(brain) & keeper(bread) & keeper(chocolate) & keeper(cookies) & keeper(death) & keeper(dreams) & keeper(love) & keeper(milk) & keeper(money) & keeper(moon) & keeper(peace) & keeper(rocket) & keeper(sleep) & keeper(sun) & keeper(television) & keeper(time) & keeper(toaster) & keeper(war)
    click(revert) :: ~keeper(george) & ~keeper(abhijet) & ~keeper(tristan) & ~keeper(vinay) & ~keeper(mrg) & ~keeper(symbium) & ~keeper(dogecoin) & ~keeper(jack) & ~keeper(muhammad) & ~keeper(sierra) & ~keeper(epilog) & ~keeper(symbolicai) & ~keeper(gamemaster) & ~keeper(homework) & ~keeper(pelicanhunter) & ~keeper(database) & ~keeper(operation) & ~keeper(viewdefinition)
    click(revert) :: goal(appliances,toaster,television) & goal(baked,bread,cookies) & goal(bedtime,sleep,time) & goal(chocolatecookies,chocolate,cookies) & goal(chocolatemilk,chocolate,milk) & goal(deathbychocolate,chocolate,death) & goal(dreamland,sleep,dreams) & goal(loveonthebrain,love,brain) & goal(hippyism,peace,love) & goal(milkandcookies,milk,cookies) & goal(nightandday,sun,moon) & goal(nuclear,rocket,war) & goal(rocketscience,rocket,brain) & goal(apollo,rocket,moon) & goal(hotchocolate,sun,chocolate) & goal(timeismoney,time,money) & goal(timetravel,time,rocket) & goal(toast,bread,toaster) & goal(waranddeath,war,death) & goal(lottery,dreams,money)
    click(revert) :: ~goal(allstartas, george, abhijet) & ~goal(logical, mrg, vinay) & ~goal(mrceo, symbium, abhijet) & ~goal(theintern, symbium, george) & ~goal(guestspeakers, tristan, george) & ~goal(aplus, muhammad, jack) & ~goal(ideaguy, mrg, symbium) & ~goal(fluency, vinay, epilog) & ~goal(truelove, dogecoin, jack) & ~goal(stupid, dogecoin, muhammad) & ~goal(originstory, symbolicAI, epilog) & ~goal(thefuture, dogecoin, epilog) & ~goal(turingtest, gamemaster, symbolicAI) & ~goal(mustdo, sierra, homework) & ~goal(thequestion, homework, pelicanhunter) & ~goal(ambiguity, operation, viewdefinition) & ~goal(changes, operation, database) & ~goal(testedfor, pelicanhunter, operation) & ~goal(metaphysical, symbolicAI, database) & ~goal(madeby, sierra, mrg)
    click(revert) :: goalinplay(X) ==> ~goalinplay(X) & goalinplay(nogoal)
    click(revert) :: take(A) & play(B) & numdrawn(X) & numplayed(Y) ==>  ~take(A) & play(1) & ~play(B) & ~numdrawn(X) & ~numplayed(Y)
    click(revert) :: take(1) & play(1) & numdrawn(0) & numplayed(0)
    click(revert) :: hand(vinay, LL) & hand(mrg, ZZ) & hoard(vinay, LLL) & hoard(mrg, ZZZ) ==> ~hand(vinay, LL) & ~hand(mrg, ZZ) & hand(vinay, []) & hand(mrg, []) & ~hoard(mrg, ZZZ) & ~hoard(vinay, LLL) & hoard(vinay, []) & hoard(mrg, [])
    click(revert) :: control(P) ==> firstmove(P)
    click(revert) :: deckempty

Fluxx - The game with ever changing rules.

has won the game!

It is currently

's turn

Select keepers to discard and meet the hoard limit

Select cards to discard and conform to the handlimit

Color code