logic and constraint programming | AMiner