Either my Ocaml course or my prolog course. In the end, I managed to use Ocaml, but endofunctors are still a mystery to me, while I managed to build half a prol

Either my Ocaml course or my prolog course. In the end, I managed to use Ocaml, but endofunctors are still a mystery to me, while I managed to build half a prolog in common lisp (the inference engine part), so I'll say Ocaml.