A formal approach to visual proving based on logic programming | IEEE Conference Publication | IEEE Xplore