David Tonhofer

David Tonhofer has asked 18 questions and find answers to 60 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

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
What do Prolog implementations mean by "float"?
GitHub Gist creation and editing not working in Firefox?
How does the "conditional or" (also called "short-circuit or"), written as `||` operator work in R?
Mrs. Rosencrantz' Jess query (a Zebra Puzzle) expressed in Prolog
What is "number" in elm

David Tonhofer answers

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
I wonder if I can use Prolog to do resolution reasoning
Unexpected result for predicate nb_setarg/3
Arithmetics in Prolog, represent a number using powers of 2
What does origin-based security model mean?