Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
David Tonhofer
David Tonhofer has asked
18
questions and find answers to
59
problems.
Stats
1.2k
EtPoint
300
Vote count
18
questions
59
answers
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
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?
Decrypt password created with htpasswd