#include "ctype.h"
#include "stdio.h"

#define LINE(f) if (f(x)) printf("%s(%d).\n", #f, x);

main() {
  int x;

  printf("%%  ctype.h information, output in prolog form\n");
  for (x=0; x<128; x++) {
    LINE(isalnum);
    LINE(isalpha);
    LINE(isascii);
    LINE(isblank);
    LINE(iscntrl);
    LINE(isdigit);
    LINE(isgraph);
    LINE(islower);
    LINE(isprint);
    LINE(ispunct);
    LINE(isspace);
    LINE(isupper);
    LINE(isxdigit);
  }

  exit(0);
}