Τρουμπούκης Αντώνιος, Λογικός προγραμματισμός με προτιμήσεις στην απειρότιμη λογική, 2012,