David Tonhofer

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

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
Should text-processing DCGs be written to handle codes or chars? Or both?
How to reify Prolog's backtracking state to perform the same task as "lazy seq" from Clojure?

David Tonhofer answers

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
Defining "let expressions" in Prolog
Is there any reasonable way to embed a Prolog interpreter inside of a C program? [closed]
How to use call_with_depth_limit/3
Free Variable in Prolog
Run tests from Clojure Repl and Leiningen