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 4 5 6
Title Δ
More compact definition +1.38
Ocaml: This expression has type 'a list * 'a list -> boo... 0.00
Create a function that produces a list of multiples ocaml +1.63
How to introduce n distinct symbols in Coq +0.08
Gerrit NACR enforcement only on master - how? 0.00
How to trace backtracks of clpfd in prolog? 0.00
Prolog adjecent2interchange 0.00
Optimising a Prolog Program (remove duplicates, repeat recalculation) +4.15
if list is ordered return true else if list is not ordered sort the... 0.00
Controlling Prolog variable value selection +1.31
How to get the max distance between two airplanes +4.21
Querying a Prolog knowledge base 0.00
How to write findall without permutations? -3.77
Is there a BNF with arguments for non-terminal symbols? 0.00
Prolog (Sicstus) - nonmember and setof issues -3.91
Explaining a program in prolog 0.00
How to create a functor from a list in prolog? 0.00
Extract Facts as Matrix in Prolog -3.45
Turbo Prolog: 420 PROLOG.ERR missing +0.04
Prolog concatenation confusion 0.00
Prolog: Counting occurrences of an element in a list returning mult... 0.00
Twins in Prolog will repeat answer 0.00
Prolog - Calculating coordinates of Koch-curve 0.00
i have a Syntax error: Operator expected in this code in prolog 0.00
how to use subexpressions 0.00
how to use subexpressions 0.00
STRIPS Planner loops indefinitely 0.00
Understanding ShellSort code from c K&R Book at page 62 0.00
Finding the largest even number in list -2.66
How to write earlier statement in prolog? 0.00
What makes speed of these recursive pieces so different? -1.68
split statement in truthable 0.00
How to merge this two if-else statement in prolog 0.00
How do I find if an edge exists between X and Y using prolog? 0.00
What do these mean in prolog? 0.00
Prolog counting sort 0.00
How to test binary trees in prolog 0.00
Equating nodes in prolog? -4.27
How to write this predicate regarding trees in prolog? -0.40
Prolog multiply elements of a list +1.79
swipl: how to reload file 0.00
Prolog : Iterating over a list and creating a predicate +0.38
Depth First Search Prolog 0.00
How to match a string for a given reg expression in prolog? 0.00
How to 'return' a value in prolog? 0.00
how to convert -> into clauses in prolog 0.00
Cycle route program in prolog 0.00
How to correctly write an implication in implication with prolog? 0.00
Prolog convert mathematical expression into list? 0.00
How to embed metadata in object file from GCC plugin 0.00