1 paper
David Geleßus, Michael Leuschel
Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on mu…