StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

David Tonhofer

Rating
1471.77 (4,517,019th) 		Reputation
5,565 (29,525th)
Page: 1 2 3 4 5 6
Title Δ
How to read a csv file into a list of lists in SWI prolog where the... 0.00
How do you logically formulate the problem of operating systems dea... 0.00
How to find a route between two stations in PROLOG 0.00
How to write Prolog - defining basic operators? +0.77
Prolog: Splitting a number into a sequence of increasing integers 0.00
Prolog - Update a value in list of list 0.00
Prolog to SQL: Any way to improve SQL code for unit tests and fix a... -3.12
Find mutual element in different facts in swi-prolog +0.67
prolog - recursive predicate sum(J,K,N) 0.00
How to use log4j+slf4j for OpenIDM instead JUL 0.00
What is the execution order of recursive datalog? 0.00
Can you use "knight moves" to query a single database and... 0.00
How to generate a list with only two 1s and other 0s of the given l... -1.22
Recursive program to compute Taylor approx of cosine not functionin... -3.78
How to get full stop in this Prolog predicate? -0.91
Not understanding a Possible definition for Not in Prolog 0.00
ASP Hamiltonian Cycle Story +4.26
How to generate distinct solutions in Prolog for '8 out of 10 c... +4.74
Delete from list in SWI-Prolog 0.00
How do I map certain values to a list in Prolog? -3.30
Prolog Recursion | using multiple predicates to calculate sum 0.00
Simple car-gas station game in Prolog +0.28
Program to find what predicates are missing for a goal to be provable 0.00
Solving chain reactions in prolog -2.01
Solving chain reactions in prolog -2.01
Prolog - Calculate fastest travel between 2 locations given differe... 0.00
Constraint Handling Rules in SWI Prolog: Does the "constraint... -4.11
How Can i construct correct String in Clojure? 0.00
Clojure: speccing a couple of constraints; forced to "break ou... -0.84
Clojure iteration over vector of functions +4.22
Demystifying getting started with Clojure / ClojureScript 0.00
getting control error when using not fact(something) in prolog 0.00
Defining complicated facts - Einsteins Zebra -0.17
Join two list in prolog? 0.00
GitHub Gist creation and editing not working in Firefox? 0.00
How does the compiler know to return the right type? +4.68
How to get all possible combination of N items divided in sets of M... 0.00
grep the time duration from ping output -2.03
IntelliJ 2017.2 stuck on `Loading archetype list` for `New Project`... +3.64
Linux Shell Script to look for a file and rename +4.27
Bash regex match using '=~' operator unexpectedly fails -2.90
Prolog STRIPS planner never completes 0.00
Returning a value from a function in prolog +4.39
AWS Route53 Alias for www subdomain -3.02
Java threads termination 0.00
Inheritance concerns between Square/Rectangle (with constrained inv... 0.00
How to implement fully-declarative Horn logic? -3.71
What are the main technical differences between Prolog and miniKanr... -3.76
Mrs. Rosencrantz' Jess query (a Zebra Puzzle) expressed in Prolog -3.49
Beginner Prolog issue -3.77