Answer Set Programming: with clingo

- goto http://sourceforge.net/projects/potassco/files/clingo/4.4.0/
- download clingo-4.4.0-x86_64-linux.tar.gz
- # tar -xvzf clingo-4.4.0-x86_64-linux.tar.gz
- goto clingo-4.4.0-x86_64-linux folder
- execute an asp program as # ./clingo -n 0 family.lp
- it prints all answer sets; enjoy.

No comments: