Exported predicates Splendor frame

Jump to bottom

basarane edited this page Dec 9, 2015 · 3 revisions

Several utility predicates are exported by frame. Some of them are

to get card data

card(+CardId, -CardData)

to check if a specific card can be bought

The following predicate is satisfied (return true), if the card having id CardId can be bought using Gems and Bonusses

canBuyCard(+Gems, +Bonuses, +CardId)

to see if buy gem action is valid

isGetGemValid(+OwnedGems, +GetGems, +GiveBackGems, +AvailableGemsOnBoard)