Visualizing and writing variable-free compositional relational programs
Abstract: Representing argument binding in compositional relational programs is an issue due to the syntactic problems. We first present our former research on using visualization to overcome this problem, and relevant user studies, and go on to discuss our recent work on syntactic improvements in solving the same problem. We are looking forward to feedback … Visualizing and writing variable-free compositional relational programs