6 citations · 6 across the 2 of their papers we have counts for
2 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.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…