From abf6f542f4b8c3c2dfca3a88d991fc61b4e26b30 Mon Sep 17 00:00:00 2001 From: caca Date: Wed, 9 Dec 2015 17:54:51 +0200 Subject: [PATCH 1/3] Cagatay: Initial commit for trial --- cardData.pl | 2 +- cardData.pl~ | 102 +++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 103 insertions(+), 1 deletion(-) create mode 100644 cardData.pl~ diff --git a/cardData.pl b/cardData.pl index 6812795..b241308 100644 --- a/cardData.pl +++ b/cardData.pl @@ -1,4 +1,4 @@ -:-module(cardData, [cardDataRaw/13, cardDataRawNoble/7]). +:-module(cardData, [cardDataRaw/13, cardDataRawNoble/7]). cardDataRaw(1, 1, 0,3,0,0,0, 0, 1,0,0,0,0). cardDataRaw(1, 2, 0,0,0,2,1, 0, 1,0,0,0,0). diff --git a/cardData.pl~ b/cardData.pl~ new file mode 100644 index 0000000..6812795 --- /dev/null +++ b/cardData.pl~ @@ -0,0 +1,102 @@ +:-module(cardData, [cardDataRaw/13, cardDataRawNoble/7]). + +cardDataRaw(1, 1, 0,3,0,0,0, 0, 1,0,0,0,0). +cardDataRaw(1, 2, 0,0,0,2,1, 0, 1,0,0,0,0). +cardDataRaw(1, 3, 0,1,1,1,1, 0, 1,0,0,0,0). +cardDataRaw(1, 4, 0,2,0,0,2, 0, 1,0,0,0,0). +cardDataRaw(1, 5, 0,0,4,0,0, 1, 1,0,0,0,0). +cardDataRaw(1, 6, 0,1,2,1,1, 0, 1,0,0,0,0). +cardDataRaw(1, 7, 0,2,2,0,1, 0, 1,0,0,0,0). +cardDataRaw(1, 8, 3,1,0,0,1, 0, 1,0,0,0,0). +cardDataRaw(1, 9, 1,0,0,0,2, 0, 0,1,0,0,0). +cardDataRaw(1, 10, 0,0,0,0,3, 0, 0,1,0,0,0). +cardDataRaw(1, 11, 1,0,1,1,1, 0, 0,1,0,0,0). +cardDataRaw(1, 12, 0,0,2,0,2, 0, 0,1,0,0,0). +cardDataRaw(1, 13, 0,0,0,4,0, 1, 0,1,0,0,0). +cardDataRaw(1, 14, 1,0,1,2,1, 0, 0,1,0,0,0). +cardDataRaw(1, 15, 1,0,2,2,0, 0, 0,1,0,0,0). +cardDataRaw(1, 16, 0,1,3,1,0, 0, 0,1,0,0,0). +cardDataRaw(1, 17, 2,1,0,0,0, 0, 0,0,1,0,0). +cardDataRaw(1, 18, 0,0,0,3,0, 0, 0,0,1,0,0). +cardDataRaw(1, 19, 1,1,0,1,1, 0, 0,0,1,0,0). +cardDataRaw(1, 20, 0,2,0,2,0, 0, 0,0,1,0,0). +cardDataRaw(1, 21, 0,0,0,0,4, 1, 0,0,1,0,0). +cardDataRaw(1, 22, 1,1,0,1,2, 0, 0,0,1,0,0). +cardDataRaw(1, 23, 0,1,0,2,2, 0, 0,0,1,0,0). +cardDataRaw(1, 24, 1,3,1,0,0, 0, 0,0,1,0,0). +cardDataRaw(1, 25, 0,2,1,0,0, 0, 0,0,0,1,0). +cardDataRaw(1, 26, 3,0,0,0,0, 0, 0,0,0,1,0). +cardDataRaw(1, 27, 1,1,1,0,1, 0, 0,0,0,1,0). +cardDataRaw(1, 28, 2,0,0,2,0, 0, 0,0,0,1,0). +cardDataRaw(1, 29, 4,0,0,0,0, 1, 0,0,0,1,0). +cardDataRaw(1, 30, 2,1,1,0,1, 0, 0,0,0,1,0). +cardDataRaw(1, 31, 2,0,1,0,2, 0, 0,0,0,1,0). +cardDataRaw(1, 32, 1,0,0,1,3, 0, 0,0,0,1,0). +cardDataRaw(1, 33, 0,0,2,1,0, 0, 0,0,0,0,1). +cardDataRaw(1, 34, 0,0,3,0,0, 0, 0,0,0,0,1). +cardDataRaw(1, 35, 1,1,1,1,0, 0, 0,0,0,0,1). +cardDataRaw(1, 36, 2,0,2,0,0, 0, 0,0,0,0,1). +cardDataRaw(1, 37, 0,4,0,0,0, 1, 0,0,0,0,1). +cardDataRaw(1, 38, 1,2,1,1,0, 0, 0,0,0,0,1). +cardDataRaw(1, 39, 2,2,0,1,0, 0, 0,0,0,0,1). +cardDataRaw(1, 40, 0,0,1,3,1, 0, 0,0,0,0,1). +cardDataRaw(2, 101, 0,0,0,5,0, 2, 1,0,0,0,0). +cardDataRaw(2, 102, 6,0,0,0,0, 3, 1,0,0,0,0). +cardDataRaw(2, 103, 0,0,3,2,2, 1, 1,0,0,0,0). +cardDataRaw(2, 104, 0,0,1,4,2, 2, 1,0,0,0,0). +cardDataRaw(2, 105, 2,3,0,3,0, 1, 1,0,0,0,0). +cardDataRaw(2, 106, 0,0,0,5,3, 2, 1,0,0,0,0). +cardDataRaw(2, 107, 0,5,0,0,0, 2, 0,1,0,0,0). +cardDataRaw(2, 108, 0,6,0,0,0, 3, 0,1,0,0,0). +cardDataRaw(2, 109, 0,2,2,3,0, 1, 0,1,0,0,0). +cardDataRaw(2, 110, 2,0,0,1,4, 2, 0,1,0,0,0). +cardDataRaw(2, 111, 0,2,3,0,3, 1, 0,1,0,0,0). +cardDataRaw(2, 112, 5,3,0,0,0, 2, 0,1,0,0,0). +cardDataRaw(2, 113, 0,0,5,0,0, 2, 0,0,1,0,0). +cardDataRaw(2, 114, 0,0,6,0,0, 3, 0,0,1,0,0). +cardDataRaw(2, 115, 2,3,0,0,2, 1, 0,0,1,0,0). +cardDataRaw(2, 116, 3,0,2,3,0, 1, 0,0,1,0,0). +cardDataRaw(2, 117, 4,2,0,0,1, 2, 0,0,1,0,0). +cardDataRaw(2, 118, 0,5,3,0,0, 2, 0,0,1,0,0). +cardDataRaw(2, 119, 0,0,0,0,5, 2, 0,0,0,1,0). +cardDataRaw(2, 120, 0,0,0,6,0, 3, 0,0,0,1,0). +cardDataRaw(2, 121, 2,0,0,2,3, 1, 0,0,0,1,0). +cardDataRaw(2, 122, 1,4,2,0,0, 2, 0,0,0,1,0). +cardDataRaw(2, 123, 0,3,0,2,3, 1, 0,0,0,1,0). +cardDataRaw(2, 124, 3,0,0,0,5, 2, 0,0,0,1,0). +cardDataRaw(2, 125, 5,0,0,0,0, 2, 0,0,0,0,1). +cardDataRaw(2, 126, 0,0,0,0,6, 3, 0,0,0,0,1). +cardDataRaw(2, 127, 3,2,2,0,0, 1, 0,0,0,0,1). +cardDataRaw(2, 128, 0,1,4,2,0, 2, 0,0,0,0,1). +cardDataRaw(2, 129, 3,0,3,0,2, 1, 0,0,0,0,1). +cardDataRaw(2, 130, 0,0,5,3,0, 2, 0,0,0,0,1). +cardDataRaw(3, 201, 0,0,0,0,7, 4, 1,0,0,0,0). +cardDataRaw(3, 202, 3,0,0,0,7, 5, 1,0,0,0,0). +cardDataRaw(3, 203, 3,0,0,3,6, 4, 1,0,0,0,0). +cardDataRaw(3, 204, 0,3,3,5,3, 3, 1,0,0,0,0). +cardDataRaw(3, 205, 7,0,0,0,0, 4, 0,1,0,0,0). +cardDataRaw(3, 206, 7,3,0,0,0, 5, 0,1,0,0,0). +cardDataRaw(3, 207, 6,3,0,0,3, 4, 0,1,0,0,0). +cardDataRaw(3, 208, 3,0,3,3,5, 3, 0,1,0,0,0). +cardDataRaw(3, 209, 0,7,0,0,0, 4, 0,0,1,0,0). +cardDataRaw(3, 210, 0,7,3,0,0, 5, 0,0,1,0,0). +cardDataRaw(3, 211, 3,6,3,0,0, 4, 0,0,1,0,0). +cardDataRaw(3, 212, 5,3,0,3,3, 3, 0,0,1,0,0). +cardDataRaw(3, 213, 0,0,7,0,0, 4, 0,0,0,1,0). +cardDataRaw(3, 214, 0,0,7,3,0, 5, 0,0,0,1,0). +cardDataRaw(3, 215, 0,3,6,3,0, 4, 0,0,0,1,0). +cardDataRaw(3, 216, 3,5,3,0,3, 3, 0,0,0,1,0). +cardDataRaw(3, 217, 0,0,0,7,0, 4, 0,0,0,0,1). +cardDataRaw(3, 218, 0,0,0,7,3, 5, 0,0,0,0,1). +cardDataRaw(3, 219, 0,0,3,6,3, 4, 0,0,0,0,1). +cardDataRaw(3, 220, 3,3,5,3,0, 3, 0,0,0,0,1). +cardDataRawNoble(501, 3,3,0,0,3,3). +cardDataRawNoble(502, 0,3,3,3,0,3). +cardDataRawNoble(503, 3,0,0,3,3,3). +cardDataRawNoble(504, 0,0,4,4,0,3). +cardDataRawNoble(505, 0,4,4,0,0,3). +cardDataRawNoble(506, 0,0,0,4,4,3). +cardDataRawNoble(507, 4,0,0,0,4,3). +cardDataRawNoble(508, 3,3,3,0,0,3). +cardDataRawNoble(509, 0,0,3,3,3,3). +cardDataRawNoble(510, 4,4,0,0,0,3). From 2120ac95953729731babed6e0a615f1d384ca833 Mon Sep 17 00:00:00 2001 From: caca Date: Wed, 9 Dec 2015 20:15:03 +0200 Subject: [PATCH 2/3] Cagatay: Commented a few predicates --- splendor.pl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/splendor.pl b/splendor.pl index 0f8c92e..11dcd08 100644 --- a/splendor.pl +++ b/splendor.pl @@ -32,12 +32,16 @@ cardDataRaw(_,A,_,_,_,_,_,_,_,_,_,_,1),X=5 ). +% given the card id, finds RequiredGems-BonusColor-Points info of the card card(A, C) :- cardData(A, C, _). +% finds id, point and colors_needed_to_be_visited_by_this_noble info of all nobles allNobles(Z) :- findall(Id-[N1, N2, N3, N4, N5, 0]-Point, cardDataRawNoble(Id, N1, N2, N3, N4, N5, Point), Z). +% finds the ids of cards in each deck +% initialCards(IdsOfCardsInTheFirstDeck,IdsOfCardsInTheSecondDeck,IdsOfCardsInTheThirdDeck) initialCards(L1,L2,L3) :- findall(X, cardData(X,_-_-_,1), L1), findall(X, cardData(X,_-_-_,2), L2), @@ -57,6 +61,8 @@ retractall(closeCards(_, _, _)), assert(closeCards(SL1, SL2, SL3)). +% finds the first N elements of a list +% firstN (N, GivenList, SubList) firstN(_,[], []). firstN(N, [H|T], [H|R]) :- N1 is N-1, @@ -437,6 +443,7 @@ ! . +% reserves the first card of a deck (deck is chosen by the player) playerReservesCardFromDeck(Player, DeckId, BackGems) :- ( DeckId = 1, closeCards([CardId|_], _, _); From fc5a80c5eff815b07f8604b2c4ed52452d2f3016 Mon Sep 17 00:00:00 2001 From: caca Date: Wed, 9 Dec 2015 20:18:39 +0200 Subject: [PATCH 3/3] Cagatay: removed cardData.pl~, which was mistakenly created --- cardData.pl~ | 102 --------------------------------------------------- 1 file changed, 102 deletions(-) delete mode 100644 cardData.pl~ diff --git a/cardData.pl~ b/cardData.pl~ deleted file mode 100644 index 6812795..0000000 --- a/cardData.pl~ +++ /dev/null @@ -1,102 +0,0 @@ -:-module(cardData, [cardDataRaw/13, cardDataRawNoble/7]). - -cardDataRaw(1, 1, 0,3,0,0,0, 0, 1,0,0,0,0). -cardDataRaw(1, 2, 0,0,0,2,1, 0, 1,0,0,0,0). -cardDataRaw(1, 3, 0,1,1,1,1, 0, 1,0,0,0,0). -cardDataRaw(1, 4, 0,2,0,0,2, 0, 1,0,0,0,0). -cardDataRaw(1, 5, 0,0,4,0,0, 1, 1,0,0,0,0). -cardDataRaw(1, 6, 0,1,2,1,1, 0, 1,0,0,0,0). -cardDataRaw(1, 7, 0,2,2,0,1, 0, 1,0,0,0,0). -cardDataRaw(1, 8, 3,1,0,0,1, 0, 1,0,0,0,0). -cardDataRaw(1, 9, 1,0,0,0,2, 0, 0,1,0,0,0). -cardDataRaw(1, 10, 0,0,0,0,3, 0, 0,1,0,0,0). -cardDataRaw(1, 11, 1,0,1,1,1, 0, 0,1,0,0,0). -cardDataRaw(1, 12, 0,0,2,0,2, 0, 0,1,0,0,0). -cardDataRaw(1, 13, 0,0,0,4,0, 1, 0,1,0,0,0). -cardDataRaw(1, 14, 1,0,1,2,1, 0, 0,1,0,0,0). -cardDataRaw(1, 15, 1,0,2,2,0, 0, 0,1,0,0,0). -cardDataRaw(1, 16, 0,1,3,1,0, 0, 0,1,0,0,0). -cardDataRaw(1, 17, 2,1,0,0,0, 0, 0,0,1,0,0). -cardDataRaw(1, 18, 0,0,0,3,0, 0, 0,0,1,0,0). -cardDataRaw(1, 19, 1,1,0,1,1, 0, 0,0,1,0,0). -cardDataRaw(1, 20, 0,2,0,2,0, 0, 0,0,1,0,0). -cardDataRaw(1, 21, 0,0,0,0,4, 1, 0,0,1,0,0). -cardDataRaw(1, 22, 1,1,0,1,2, 0, 0,0,1,0,0). -cardDataRaw(1, 23, 0,1,0,2,2, 0, 0,0,1,0,0). -cardDataRaw(1, 24, 1,3,1,0,0, 0, 0,0,1,0,0). -cardDataRaw(1, 25, 0,2,1,0,0, 0, 0,0,0,1,0). -cardDataRaw(1, 26, 3,0,0,0,0, 0, 0,0,0,1,0). -cardDataRaw(1, 27, 1,1,1,0,1, 0, 0,0,0,1,0). -cardDataRaw(1, 28, 2,0,0,2,0, 0, 0,0,0,1,0). -cardDataRaw(1, 29, 4,0,0,0,0, 1, 0,0,0,1,0). -cardDataRaw(1, 30, 2,1,1,0,1, 0, 0,0,0,1,0). -cardDataRaw(1, 31, 2,0,1,0,2, 0, 0,0,0,1,0). -cardDataRaw(1, 32, 1,0,0,1,3, 0, 0,0,0,1,0). -cardDataRaw(1, 33, 0,0,2,1,0, 0, 0,0,0,0,1). -cardDataRaw(1, 34, 0,0,3,0,0, 0, 0,0,0,0,1). -cardDataRaw(1, 35, 1,1,1,1,0, 0, 0,0,0,0,1). -cardDataRaw(1, 36, 2,0,2,0,0, 0, 0,0,0,0,1). -cardDataRaw(1, 37, 0,4,0,0,0, 1, 0,0,0,0,1). -cardDataRaw(1, 38, 1,2,1,1,0, 0, 0,0,0,0,1). -cardDataRaw(1, 39, 2,2,0,1,0, 0, 0,0,0,0,1). -cardDataRaw(1, 40, 0,0,1,3,1, 0, 0,0,0,0,1). -cardDataRaw(2, 101, 0,0,0,5,0, 2, 1,0,0,0,0). -cardDataRaw(2, 102, 6,0,0,0,0, 3, 1,0,0,0,0). -cardDataRaw(2, 103, 0,0,3,2,2, 1, 1,0,0,0,0). -cardDataRaw(2, 104, 0,0,1,4,2, 2, 1,0,0,0,0). -cardDataRaw(2, 105, 2,3,0,3,0, 1, 1,0,0,0,0). -cardDataRaw(2, 106, 0,0,0,5,3, 2, 1,0,0,0,0). -cardDataRaw(2, 107, 0,5,0,0,0, 2, 0,1,0,0,0). -cardDataRaw(2, 108, 0,6,0,0,0, 3, 0,1,0,0,0). -cardDataRaw(2, 109, 0,2,2,3,0, 1, 0,1,0,0,0). -cardDataRaw(2, 110, 2,0,0,1,4, 2, 0,1,0,0,0). -cardDataRaw(2, 111, 0,2,3,0,3, 1, 0,1,0,0,0). -cardDataRaw(2, 112, 5,3,0,0,0, 2, 0,1,0,0,0). -cardDataRaw(2, 113, 0,0,5,0,0, 2, 0,0,1,0,0). -cardDataRaw(2, 114, 0,0,6,0,0, 3, 0,0,1,0,0). -cardDataRaw(2, 115, 2,3,0,0,2, 1, 0,0,1,0,0). -cardDataRaw(2, 116, 3,0,2,3,0, 1, 0,0,1,0,0). -cardDataRaw(2, 117, 4,2,0,0,1, 2, 0,0,1,0,0). -cardDataRaw(2, 118, 0,5,3,0,0, 2, 0,0,1,0,0). -cardDataRaw(2, 119, 0,0,0,0,5, 2, 0,0,0,1,0). -cardDataRaw(2, 120, 0,0,0,6,0, 3, 0,0,0,1,0). -cardDataRaw(2, 121, 2,0,0,2,3, 1, 0,0,0,1,0). -cardDataRaw(2, 122, 1,4,2,0,0, 2, 0,0,0,1,0). -cardDataRaw(2, 123, 0,3,0,2,3, 1, 0,0,0,1,0). -cardDataRaw(2, 124, 3,0,0,0,5, 2, 0,0,0,1,0). -cardDataRaw(2, 125, 5,0,0,0,0, 2, 0,0,0,0,1). -cardDataRaw(2, 126, 0,0,0,0,6, 3, 0,0,0,0,1). -cardDataRaw(2, 127, 3,2,2,0,0, 1, 0,0,0,0,1). -cardDataRaw(2, 128, 0,1,4,2,0, 2, 0,0,0,0,1). -cardDataRaw(2, 129, 3,0,3,0,2, 1, 0,0,0,0,1). -cardDataRaw(2, 130, 0,0,5,3,0, 2, 0,0,0,0,1). -cardDataRaw(3, 201, 0,0,0,0,7, 4, 1,0,0,0,0). -cardDataRaw(3, 202, 3,0,0,0,7, 5, 1,0,0,0,0). -cardDataRaw(3, 203, 3,0,0,3,6, 4, 1,0,0,0,0). -cardDataRaw(3, 204, 0,3,3,5,3, 3, 1,0,0,0,0). -cardDataRaw(3, 205, 7,0,0,0,0, 4, 0,1,0,0,0). -cardDataRaw(3, 206, 7,3,0,0,0, 5, 0,1,0,0,0). -cardDataRaw(3, 207, 6,3,0,0,3, 4, 0,1,0,0,0). -cardDataRaw(3, 208, 3,0,3,3,5, 3, 0,1,0,0,0). -cardDataRaw(3, 209, 0,7,0,0,0, 4, 0,0,1,0,0). -cardDataRaw(3, 210, 0,7,3,0,0, 5, 0,0,1,0,0). -cardDataRaw(3, 211, 3,6,3,0,0, 4, 0,0,1,0,0). -cardDataRaw(3, 212, 5,3,0,3,3, 3, 0,0,1,0,0). -cardDataRaw(3, 213, 0,0,7,0,0, 4, 0,0,0,1,0). -cardDataRaw(3, 214, 0,0,7,3,0, 5, 0,0,0,1,0). -cardDataRaw(3, 215, 0,3,6,3,0, 4, 0,0,0,1,0). -cardDataRaw(3, 216, 3,5,3,0,3, 3, 0,0,0,1,0). -cardDataRaw(3, 217, 0,0,0,7,0, 4, 0,0,0,0,1). -cardDataRaw(3, 218, 0,0,0,7,3, 5, 0,0,0,0,1). -cardDataRaw(3, 219, 0,0,3,6,3, 4, 0,0,0,0,1). -cardDataRaw(3, 220, 3,3,5,3,0, 3, 0,0,0,0,1). -cardDataRawNoble(501, 3,3,0,0,3,3). -cardDataRawNoble(502, 0,3,3,3,0,3). -cardDataRawNoble(503, 3,0,0,3,3,3). -cardDataRawNoble(504, 0,0,4,4,0,3). -cardDataRawNoble(505, 0,4,4,0,0,3). -cardDataRawNoble(506, 0,0,0,4,4,3). -cardDataRawNoble(507, 4,0,0,0,4,3). -cardDataRawNoble(508, 3,3,3,0,0,3). -cardDataRawNoble(509, 0,0,3,3,3,3). -cardDataRawNoble(510, 4,4,0,0,0,3).