prefix=${HOME}/mywork/AceWiki/AceWiki/AceWiki/src/ch/uzh/ifi/attempto/codeco/

validate_codeco=${prefix}/validate_codeco.pl
generate_dcg=${prefix}/generate_dcg.pl

swipl -s $validate_codeco -g "validate_codeco('grammar.pl')" -t halt
swipl -s $generate_dcg -g "generate_dcg('grammar.pl', 'grammar_dcg.pl')" -t halt