https://bookem.ir/books/1313481-Answer-Set-Programming-for-Continuous-Domains