swipl ~/src/lang/goedel/goedel/v2_0/src/dsa.pl 


