David Tonhofer

David Tonhofer has asked 23 questions and find answers to 64 problems.

Stats

About

Started working with computers when Lisp was described in obscure journal articles.
Scaled down his ambitions to get better in programming to just learning Kotlin, using Spring and calling Prolog from Java for fun for now.
Would also like to read The Theory of Groups and Quantum Mechanics
So why is he always at work?
Welp!

David Tonhofer questions

Is it possible to write an inconsistent Prolog program using only pure Prolog, cut and `false`?
What is the approach for dealing with "residual goals" in Prolog?
Java API class having a method with a meaningless type wildcard
Clojure spec: checking map values directly?
Use SWT in Eclipse in a Java 15 modular setup
setof/3 inside setof/3 not working, but why?
Constraint Handling Rules in SWI Prolog: Does the "constraint store" exists only for the duration of the toplevel goal processing?
Bash regex match using '=~' operator unexpectedly fails
JavaFX events sent to a button control: why two MOUSE_ENTERED / MOUSE_EXITED events?
Prolog and the headless implication

David Tonhofer answers

Problem with appending element using difference lists in Prolog
WordNet with swi-prolog
Why does SWI-Prolog invent f/2 given only f/1?
Linux Forks Purpose?
Problem in generating verses of a poem in prolog
How does backtracking in recursion not cause an infinite loop?
ASP Hamiltonian Cycle Story
Dealing with unknown procedure error in SWI-Prolog
Prolog: difference between var, nonvar and ground
Cucumber - Java - Non-ASCII characters in an identifier