Player
Rank
Position
Offers
Status
alabama
arizona_state
auburn
duke
georgia
illinois
kentucky
lsu
st_johns
connecticut
washington
arkansas
gonzaga
minnesota
purdue
texas
texas_am
western_kentucky
arizona_state
depaul
duke
iowa
kansas
kansas_state
lsu
marquette
michigan
minnesota
missouri
northwestern
unlv
usc
wake_forest
wisconsin
arizona
duke
gonzaga
iowa_state
kansas
kentucky
memphis
michigan
north_carolina
oklahoma
oklahoma_state
oregon_state
tennessee
usc
vanderbilt
washington
arizona
arizona_state
california
florida_state
georgetown
georgia_tech
illinois
kentucky
lsu
memphis
michigan
mississippi_state
missouri
oklahoma
rutgers
san_diego_state
tcu
unlv
usc
washington
alabama
florida_state
georgetown
georgia
georgia_tech
lsu
ole_miss
arizona_state
florida
georgia
kansas
lsu
marquette
michigan
ohio_state
texas_am
arkansas
auburn
florida
florida_state
illinois
kentucky
louisville
memphis
miami
michigan
oklahoma
oklahoma_state
pittsburgh
texas_tech
virginia_tech
arizona
duke
gonzaga
kansas
kentucky
north_carolina
oregon
oregon_state
ucla
usc
washington
duke
indiana
maryland
arizona
kansas
michigan
north_carolina
oklahoma
syracuse
california
duke
michigan
michigan_state
seton_hall
alabama
duke
georgetown
marquette
maryland
miami
north_carolina
ohio_state
pittsburgh
connecticut
vanderbilt
villanova
west_virginia
baylor
georgetown
houston
marquette
north_carolina
purdue
smu
stanford
tcu
texas
texas_am
ucla
vanderbilt
arkansas
creighton
iowa
iowa_state
maryland
minnesota
nebraska
saint_louis
texas
wake_forest
virginia
creighton
gonzaga
iowa_state
nebraska
ole_miss
western_kentucky
auburn
illinois
indiana
marquette
villanova
wake_forest
oregon_state
alabama
arkansas
houston
oklahoma
oklahoma_state
smu
texas_tech
usc
new_mexico
illinois
louisville
maryland
ohio_state
auburn
cincinnati
florida
georgetown
maryland
rutgers
seton_hall
stanford
tennessee
ucla
wake_forest
missouri
michigan_state
purdue
lsu
louisville
florida_state
florida_state
arizona
arizona_state
colorado
oklahoma
southern_miss
tcu
unlv
washington
western_kentucky
washington
washington
marquette
kansas
texas_am
houston
depaul
columbia
eastern_washington
kansas
new_mexico
oklahoma
tcu
unlv
utep
kansas
fresno_state
ohio_state
marquette
ucla
virginia
creighton
clemson
north_carolina_state
stanford
clemson
florida
georgetown
maryland
pittsburgh
seton_hall
syracuse
virginia_tech
texas_am
auburn
north_carolina
ucla
baylor
fresno_state
mississippi_state
tcu
georgia
georgia_tech
iowa_state
lsu
oklahoma_state
south_florida
texas
texas_am
ucf
usc
virginia_tech
north_carolina_state
Team
Rank
Top Recruit
Score
1
2
3
4
5
school(alabama) school(arizona) school(arizona_state) school(arkansas) school(auburn) school(baylor) school(california) school(cincinnati) school(clemson) school(colorado) school(columbia) school(connecticut) school(creighton) school(depaul) school(duke) school(eastern_washington) school(florida) school(florida_state) school(fresno_state) school(georgetown) school(georgia) school(georgia_tech) school(gonzaga) school(houston) school(illinois) school(indiana) school(iowa) school(iowa_state) school(kansas) school(kansas_state) school(kentucky) school(louisville) school(lsu) school(marquette) school(maryland) school(memphis) school(miami) school(michigan) school(michigan_state) school(minnesota) school(mississippi_state) school(missouri) school(nebraska) school(new_mexico) school(north_carolina) school(north_carolina_state) school(northwestern) school(ohio_state) school(oklahoma) school(oklahoma_state) school(ole_miss) school(oregon) school(oregon_state) school(pittsburgh) school(purdue) school(rutgers) school(saint_louis) school(san_diego_state) school(seton_hall) school(smu) school(south_florida) school(southern_miss) school(st_johns) school(stanford) school(syracuse) school(tcu) school(tennessee) school(texas) school(texas_am) school(texas_tech) school(ucf) school(ucla) school(unlv) school(usc) school(utep) school(vanderbilt) school(villanova) school(virginia) school(virginia_tech) school(wake_forest) school(washington) school(west_virginia) school(western_kentucky) school(wisconsin) player(jonathan_kuminga) playername(jonathan_kuminga, "Jonathan Kuminga") rank(jonathan_kuminga, 59) position(jonathan_kuminga, sf) player(chet_holmgren) playername(chet_holmgren, "Chet Holmgren") rank(chet_holmgren, 58) position(chet_holmgren, pf) commit(chet_holmgren, gonzaga) player(patrick_baldwin_jr) playername(patrick_baldwin_jr, "Patrick Baldwin Jr.") rank(patrick_baldwin_jr, 57) position(patrick_baldwin_jr, pf) player(paolo_banchero) playername(paolo_banchero, "Paolo Banchero") rank(paolo_banchero, 56) position(paolo_banchero, pf) commit(paolo_banchero, kentucky) player(jaden_hardy) playername(jaden_hardy, "Jaden Hardy") rank(jaden_hardy, 55) position(jaden_hardy, sg) player(jabari_smith) playername(jabari_smith, "Jabari Smith") rank(jabari_smith, 54) position(jabari_smith, pf) commit(jabari_smith, lsu) player(michael_foster) playername(michael_foster, "Michael Foster") rank(michael_foster, 53) position(michael_foster, pf) player(moussa_diabate) playername(moussa_diabate, "Moussa Diabate") rank(moussa_diabate, 52) position(moussa_diabate, pf) player(nate_bittle) playername(nate_bittle, "Nate Bittle") rank(nate_bittle, 51) position(nate_bittle, c) commit(nate_bittle, duke) player(aj_griffin) playername(aj_griffin, "A.J. Griffin") rank(aj_griffin, 50) commit(aj_griffin, duke) position(aj_griffin, sf) player(aminu_mohammed) playername(aminu_mohammed, "Aminu Mohammed") rank(aminu_mohammed, 49) position(aminu_mohammed, sg) player(kennedy_chandler) playername(kennedy_chandler, "Kennedy Chandler") rank(kennedy_chandler, 48) position(kennedy_chandler, pg) commit(kennedy_chandler, arizona) player(max_christie) playername(max_christie, "Max Christie") rank(max_christie, 47) position(max_christie, sg) commit(max_christie, duke) player(jd_davison) playername(jd_davison, "J.D. Davison") rank(jd_davison, 46) position(jd_davison, pg) commit(jd_davison, seton_hall) player(trevor_keels) playername(trevor_keels, "Trevor Keels") rank(trevor_keels, 45) position(trevor_keels, sg) player(harrison_ingram) playername(harrison_ingram, "Harrison Ingram") rank(harrison_ingram, 44) position(harrison_ingram, sf) player(kendall_brown) playername(kendall_brown, "Kendall Brown") rank(kendall_brown, 43) position(kendall_brown, sf) player(efton_reid) playername(efton_reid, "Efton Reid") rank(efton_reid, 42) position(efton_reid, c) commit(efton_reid, virginia) player(hunter_sallis) playername(hunter_sallis, "Hunter Sallis") rank(hunter_sallis, 41) position(hunter_sallis, sg) commit(hunter_sallis, gonzaga) player(zion_harmon) playername(zion_harmon, "Zion Harmon") rank(zion_harmon, 40) position(zion_harmon, pg) commit(zion_harmon, western_kentucky) player(daeshun_ruffin) playername(daeshun_ruffin,"Daeshun Ruffin") rank(daeshun_ruffin, 39) position(daeshun_ruffin, pg) player(frank_kepnang) playername(frank_kepnang, "Frank Kepnang") rank(frank_kepnang, 38) position(frank_kepnang, c) player(langston_love) playername(langston_love, "Langston Love") rank(langston_love, 37) position(langston_love, sg) player(kj_adams) playername(kj_adams, "K.J. Adams") rank(kj_adams, 36) position(kj_adams, pf) commit(kj_adams, oregon_state) player(daimion_collins) playername(daimion_collins, "Daimion Adams") rank(daimion_collins, 35) position(daimion_collins, c) player(peyton_watson) playername(peyton_watson, "Peyton Watson") rank(peyton_watson, 34) position(peyton_watson, sg) commit(peyton_watson, new_mexico) player(charles_bediako) playername(charles_bediako, "Charles Bediako") rank(charles_bediako, 33) position(charles_bediako, c) player(trey_patterson) playername(trey_patterson, "Trey Patterson") rank(trey_patterson, 32) position(trey_patterson, sf) player(malaki_branham) playername(malaki_branham, "Malaki Branham") rank(malaki_branham, 31) position(malaki_branham, sf) player(ben_gregg) playername(ben_gregg, "Ben Gregg") rank(ben_gregg, 30) position(ben_gregg, pg) commit(ben_gregg, michigan_state) player(caleb_furst) playername(caleb_furst, "Caleb Furst") rank(caleb_furst, 29) position(caleb_furst, pf) commit(caleb_furst, purdue) player(jerrell_colbert) playername(jerrell_colbert, "Jerrel Colbert") rank(jerrell_colbert, 28) position(jerrell_colbert, c) commit(jerrell_colbert, lsu) player(bryce_hopkins) playername(bryce_hopkins, "Bryce Hopkins") rank(bryce_hopkins, 27) position(bryce_hopkins, sf) commit(bryce_hopkins, louisville) player(bryce_mcgowens) playername(bryce_mcgowens, "Bryce McGowens") rank(bryce_mcgowens, 26) position(bryce_mcgowens, sg) commit(bryce_mcgowens, florida_state) player(dallan_coleman) playername(dallan_coleman, "Dallan Coleman") rank(dallan_coleman, 25) position(dallan_coleman, sg) player(zaon_collins) playername(zaon_collins, "Zaon Collins") rank(zaon_collins, 24) position(zaon_collins, pg) player(jackson_grant) playername(jackson_grant, "Jackson Grant") position(jackson_grant, c) rank(jackson_grant, 23) commit(jackson_grant, washington) player(jalen_warley) playername(jalen_warley, "Jalen Warley") rank(jalen_warley, 22) position(jalen_warley, sg) player(arthur_kaluma) playername(arthur_kaluma, "Arthur Kaluma") rank(arthur_kaluma, 21) position(arthur_kaluma, sf) commit(arthur_kaluma, marquette) player(trey_alexander) playername(trey_alexander, "Trey Alexander") rank(trey_alexander, 20) position(trey_alexander, sg) commit(trey_alexander, kansas) player(jax_robinson) playername(jax_robinson, "Jax Robinson") position(jax_robinson, sg) rank(jax_robinson, 19) commit(jax_robinson, texas_am) player(matt_cleveland) playername(matt_cleveland, "Matt Cleveland") rank(matt_cleveland, 18) position(matt_cleveland, sg) commit(matt_cleveland, houston) player(keon_edwards) playername(keon_edwards, "Keon Edwards") position(keon_edwards, sf) rank(keon_edwards, 17) commit(keon_edwards, depaul) player(frankie_collins) playername(frankie_collins, "Frankie Collins") position(frankie_collins, pg) rank(frankie_collins, 16) player(zach_clemence) playername(zach_clemence, "Zach Clemence") position(zach_clemence, c) rank(zach_clemence, 15) commit(zach_clemence, kansas) player(chance_moore) playername(chance_moore, "Chance Moore") rank(chance_moore, 14) position(chance_moore, sf) commit(chance_moore, fresno_state) player(meechie_johnson) playername(meechie_johnson, "Meechie Johnson") position(meechie_johnson, pg) rank(meechie_johnson, 13) commit(meechie_johnson, ohio_state) player(daron_holmes) playername(daron_holmes, "Daron Holmes") position(daron_holmes, pf) rank(daron_holmes, 12) player(johnathan_lawson) playername(johnathan_lawson, "Johnathan Lawson") rank(johnathan_lawson, 11) position(johnathan_lawson, sf) commit(johnathan_lawson, creighton) player(john_butler) playername(john_butler, "John Butler") rank(john_butler, 10) position(john_butler, c) commit(john_butler, clemson) player(quincy_allen) playername(quincy_allen, "Quincy Allen") position(quincy_allen, sf) rank(quincy_allen, 9) player(isa_silva) playername(isa_silva, "Isa Silva") position(isa_silva, pg) rank(isa_silva, 8) commit(isa_silva, stanford) player(benny_williams) playername(benny_williams, "Benny Williams") position(benny_williams, pf) rank(benny_williams, 7) player(manny_obaseki) playername(manny_obaseki, "Manny Obaseki") position(manny_obaseki, pg) rank(manny_obaseki, 6) commit(manny_obaseki, texas_am) player(wilhelm_breidenbach) playername(wilhelm_breidenbach, "Wilhelm Breidenbach") rank(wilhelm_breidenbach, 5) position(wilhelm_breidenbach, c) commit(wilhelm_breidenbach, auburn) player(dontez_styles) playername(dontez_styles, "Dontez Styles") position(dontez_styles, sf) rank(dontez_styles, 4) commit(dontez_styles, north_carolina) player(will_mcclendon) playername(will_mcclendon, "Will McClendon") position(will_mcclendon, sg) rank(will_mcclendon, 3) commit(will_mcclendon, ucla) player(alex_tchikou) playername(alex_tchikou, "Alex Tchikou") position(alex_tchikou, c) rank(alex_tchikou, 2) player(alex_fudge) playername(alex_fudge, "Alex Fudge") position(alex_fudge, sf) rank(alex_fudge, 1) player(ernest_ross) playername(ernest_ross, "Ernest Ross") position(ernest_ross, pf) rank(ernest_ross, 0) commit(ernest_ross, north_carolina_state) teams([alabama,arizona,arizona_state,arkansas,auburn,baylor,california,cincinnati,clemson,colorado,columbia,connecticut,creighton,depaul,duke,eastern_washington,florida,florida_state,fresno_state,georgetown,georgia,georgia_tech,gonzaga,houston,illinois,indiana,iowa,iowa_state,kansas,kansas_state,kentucky,louisville,lsu,marquette,maryland,memphis,miami,michigan,michigan_state,minnesota,mississippi_state,missouri,nebraska,new_mexico,north_carolina,north_carolina_state,northwestern,ohio_state,oklahoma,oklahoma_state,ole_miss,oregon,oregon_state,pittsburgh,purdue,rutgers,saint_louis,san_diego_state,seton_hall,smu,south_florida,southern_miss,st_johns,stanford,syracuse,tcu,tennessee,texas,texas_am,texas_tech,ucf,ucla,unlv,usc,utep,vanderbilt,villanova,virginia,virginia_tech,wake_forest,washington,west_virginia,western_kentucky,wisconsin])
load :: playername(X, Y) & player(X) ==> innerhtml(name(X), Y) load :: rank(X, Y) & player(X) & evaluate(minus(60, Y),S) ==> innerhtml(rank(X), S) load :: position(X,Y) & player(X) ==> innerhtml(position(X), Y) load :: commit(X, Y) & player(X) & school(Y) ==> value(team(X), Y) & innerhtml(commit(X), "Committed") load :: player(X) & ~commit(X, Y) ==> innerhtml(commit(X), "Undecided") load :: update_team_one load :: update_team_two load :: update_team_three load :: update_team_four load :: update_team_five deselect(team(P), T) :: value(team(P), M) ==> ~value(team(P), M) & ~commit(P, M) haveposition(P, T) :- position(P, S) & player(N) & commit(N, T) & position(N, S) & mutex(P, N) select(team(P), T) :: value(team(P), M) & ~haveposition(P, T) ==> ~value(team(P),M) & ~commit(P,M) select(team(P), T) :: school(T) & ~haveposition(P, T) ==> value(team(P), T) & commit(P,T) & innerhtml(commit(P), "Committed") & ~innerhtml(commit(P), "Undecided") select(team(P), T) :: ~school(T) ==> ~innerhtml(commit(P), "Committed") & innerhtml(commit(P), "Undecided") select(team(P), T) :: update_team_one select(team(P), T) :: update_team_two select(team(P), T) :: update_team_three select(team(P), T) :: update_team_four select(team(P), T) :: update_team_five team_one(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),0) team_two(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),1) team_three(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),2) team_four(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),3) team_five(X) :- commitsum(X,S) & evaluate(countofall(Y,commitsum(Y,T) & distinct(X,Y) & evaluate(min(S,T),S)),4) update_team_one :: team_one(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_one), M) & ~team_one(M) & ~innerhtml(team_players(team_one), N) & ~innerhtml(team_score(team_one), S) & ~commitsum(M,S) & ~innerhtml(team_players(team_one), N) update_team_one :: team_one(X) ==> innerhtml(team_rank(team_one), X) update_team_one :: team_one(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_one), Y) update_team_one :: team_one(X) & commitsum(X, S) ==> innerhtml(team_score(team_one), S) update_team_two :: team_two(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_two), M) & ~team_two(M) & ~innerhtml(team_score(team_two), S) & ~commitsum(M,S) & ~innerhtml(team_players(team_two), N) update_team_two :: team_two(X) ==> innerhtml(team_rank(team_two), X) update_team_two :: team_two(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_two), Y) update_team_two :: team_two(X) & commitsum(X, S) ==> innerhtml(team_score(team_two), S) update_team_three :: team_three(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_three), M) & ~team_three(M) & ~innerhtml(team_score(team_three), S) & ~innerhtml(team_players(team_three), N) & ~commitsum(M,S) update_team_three :: team_three(X) ==> innerhtml(team_rank(team_three), X) update_team_three :: team_three(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_three), Y) update_team_three :: team_three(X) & commitsum(X, S) ==> innerhtml(team_score(team_three), S) update_team_four :: team_four(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_four), M) & ~team_four(M) & ~innerhtml(team_score(team_four), S) & ~innerhtml(team_players(team_four), N) & ~commitsum(M,S) update_team_four :: team_four(X) ==> innerhtml(team_rank(team_four), X) update_team_four :: team_four(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_four), Y) update_team_four :: team_four(X) & commitsum(X, S) ==> innerhtml(team_score(team_four), S) update_team_five :: team_five(M) & commitsum(M, S) ==> ~innerhtml(team_rank(team_five), M) & ~team_five(M) & ~innerhtml(team_score(team_five), S) & ~innerhtml(team_players(team_five), N) & ~commitsum(M,S) update_team_five :: team_five(X) ==> innerhtml(team_rank(team_five), X) update_team_five :: team_five(X) & top_recruit(X, Y) ==> innerhtml(team_players(team_five), Y) update_team_five :: team_five(X) & commitsum(X, S) ==> innerhtml(team_score(team_five), S) commitsum(T,S) :- school(T) & evaluate(sum(setofall(R,commit(X,T) & rank(X,R))),S) top_recruit(T, X) :- evaluate(setofall(R,commit(Y,T) & rank(Y,R)), L) & evaluate(maximum(L), Z) & rank(X, Z)