logic03.dart

import 'dart:math';

var Knave = false;
var Knight = true;

var knaveCount = 0;
var r = Random();
List<bool> islanderList = List<bool>();

bool lie(bool i) { return !i; }
String islanderToString(bool i) { return i == Knight ? "Knight" : "Knave"; }
String whisperToString(bool w) { return w ? "Yes" : "No"; }
bool getIslander() { return Knight; }
bool getIslanderQ() { return r.nextBool(); }
void add(bool i) {
  islanderList.add(i);
  if (i == Knave) { knaveCount++; }
}

void main() {
  var count = 10;
  var fixed = 5;
  
  for (var i = 0; i < count - fixed; i++) { add(Knight); }
  for (var i = 0; i < count - fixed; i++) { add(Knave); }
  
  print("At least n of us are Knaves.");
  print("Knave count = ${knaveCount}\n");
  
  for (var i = 0; i < count; i++) {
    var claimedMinimumKnaveCount = i + 1;
    var a = "${islanderToString(islanderList[i])}".padRight(6);
    var claim = claimedMinimumKnaveCount.toString().padLeft(2, " ");
    var isTrue = knaveCount >= claimedMinimumKnaveCount;
    
    print("${a} ${claim} or more of us are Knaves (${isTrue})");
  };
}