cd cpa-1.0
sicstus -l server.pl
