@dekkzz76 what are your #prolog hopes and dreams? @pizzapal is an #swiprolog game programmer amoungst many virtues. Asking me to not write in #CommonLisp / #ACL2 / #interlisp / #elisp is abstruse.

@Jose_A_Alonso [my friend mentioned this to me]
@dekkzz76 this is a very attractive, powerful and obviously useful approach to programming [linked notes, PAIP, every lisp programmer and compiler]. The reason I use #CommonLisp and #ACL2 is that in prolog, I would often like to build infrastructure up to the point where I've implemented half of common lisp. Even for proofs [ACL2 when prolog was also very widely used like this].
So I would prolog in lisp, rather than putting #ECL in #SWIProlog eg