StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Isabelle Newbie

Rating
1546.14 (9,194th)

Reputation
2,951 (57,315th)

Page: 1 2 3 ... 6

Title	Δ
Converting list of clauses to a query?	-2.05
Finding all nodes connected to a vertex in Prolog	+0.43
parsing with CHR (Constraint handling rules)	0.00
Define a predicate that holds of both numeral and their negative an...	+0.43
About building a list until it meets conditions	+0.45
Grounding in Prolog given a predicate and a list	0.00
matching 'connectors' and creating structure?	+1.77
How would you express mutual exclusion of facts in Prolog?	-0.04
How do I create a DCG rule inverse to another in Prolog?	+0.42
Parsing list of items with DCG?	0.00
Is "almost pure" Prolog expressive?	+0.41
How to express infinity in Prolog?	-0.54
How to use call_with_depth_limit/3	+0.81
Count the number of times a rule is declared - SWIProlog	0.00
De Bruijn index based substitution in Prolog	0.00
Why does my Prolog S-expression tokenizer fail on its base case?	-1.75
Reverse Conversion in Prolog	0.00
How can Prolog derive nonsense results such as 3 < 2?	+1.64
How to create a infinite list if input is not delcared?	+0.05
Is there a way I can call non-terminal symbols recursively when wor...	+1.78
How to merge the elements in a list in a simpler way? Prolog	-1.44
Unexpected result for predicate nb_setarg/3	+1.21
Prolog check if list contains 2 times the elements of another list	-0.12
valid bracket list in prolog	+0.27
Rewriting tail recursion prolog code into simple recursion	0.00
How to return in prolog all elements from right to left greater tha...	+1.94
Is there a way to select only the first and last element of a list...	+1.79
going over entire the list and check whether items exists in Prolog	+0.42
Induction with other base case in Coq	+1.83
Arguments are not sufficiently instantiated in clause/2	0.00
Prolog: Swap two specified index elements in a list error	0.00
Printing minimum answer as list?	0.00
How to perform arithmetic operations on a list of lists in prolog	-0.06
finding a cycle path in prolog	0.00
Flattened form in WAM	0.00
Dynamic union find algorithm in Prolog	0.00
Prolog stack limit exceeded	0.00
Swap two items depending on the index	+0.03
Unusual behaviour of findall	+0.45
Prolog \| findall with result list of another findall	-1.25
Deleting the middle element of a list	-0.14
Deleting the middle element of a list	+0.30
How to generate all words of length N from an alphabet with condition	+0.41
Formatting the output with proper paranthesis - Prolog (without usi...	0.00
The unification algorithm in Prolog	0.00
Equivalence relation in prolog	0.00
Will this be tail call optimized in SWI-Prolog	+2.05
Run Dijkstra among all the pair of cities as (source, destination)...	0.00
Nested if statements that return boolean in prolog	-0.04
Parse data from csv file into given format using Prolog	0.00