6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.PL2016
Indexing dif/2
Ulrich Neumerkel, Stefan Kral
Many Prolog programs are unnecessarily impure because of inadequate means to express syntactic inequality. While the frequently provided built-in `dif/2` is able to correctly descr…
cs.PL2009★ 2 cited
Better Termination for Prolog with Constraints
Markus Triska, Ulrich Neumerkel, Jan Wielemaker
Termination properties of actual Prolog systems with constraints are fragile and difficult to analyse. The lack of the occurs-check, moded and overloaded arithmetical evaluation vi…
cs.SE2002★ 6 cited
Declarative program development in Prolog with GUPU
Ulrich Neumerkel, Stefan Kral
We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, covering s…