#!/usr/bin/gawk -f
#will probably not work right with awk or nawk (different behaviour of "for (x in y)")
{ line[NR]=$0 }
END {
  letters="ABCDEFGHIJKLMNOPQRSTUVWXYZ";
  words=0;
  print"constraints(Words):-"
  for (i in line) {
    #print "%"i line[i]
    fields=split(line[i],a,"x");
    j=1
    for (f in a) {
      if (length(a[f])>1) {
	printf "word(Word"words",["substr(letters,j,1)i;
	for (k=1; k<length(a[f]); k++)
	  printf ","substr(letters,j+k,1)i;
	print "]),";
	words++;
	count[length(a[f])]++;
      }
      j+=length(a[f])+1;
    }
  }
  for (j=1; j<=length(line[1]); j++)
    for (i in line)
      column[j] = column[j] substr(line[i],j,1);
  for (i in column) {
    fields=split(column[i],a,"x");
    j=1
    for (f in a) {
      if (length(a[f])>1) {
	printf "word(Word"words",["substr(letters,i,1)j;
	for (k=1; k<length(a[f]); k++)
	  printf ","substr(letters,i,1)j+k;
	print "]),";
	words++;
	count[length(a[f])]++;
      }
      j+=length(a[f])+1;
    }
  }
#  for (i in count)
#    print "count["i"]="count[i];
  printf "Words=[Word0"
  for (i=1; i<words; i++)
    printf ", Word"i;
  print "].";
  print;
  print "wordlist(Words):- length(Words,"words"), Words in 1.."words".";
  print;
}