#!/bin/sh
gawk -f constraints.awk pattern
gawk -f words.awk words
#the following stuff tries to complete Van Hentenrycks incomplete puzzle
echo 'word1(145,[_,_,_]).'
echo 'word1(146,[_,_,_,_,_,_,_,_,_,_]).'