I am using a higher order Prolog variant that lacks findall. There is another question on implementing our own findall here: Getting list of solutions in Prolog. The inefficient implementation i...

I would like to ask you about what formal system could be more interesting to implement from scratch/reverse engineer. I've looked through some existing and open-source projects of logical/declar...