StackRating

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

lambda.xy.x

Rating
1516.39 (40,473rd) 		Reputation
3,281 (51,495th)
Page: 1 2
Title Δ
Prolog - create simple function +3.91
Pattern Matching a List[_] in Scala -2.77
What is the difference in execution if the cut '!' is prese... -1.64
How does this pseudo code is false (does not output 43) +4.07
Prolog unpacking lists predicate +0.20
Loop through first n elements of array in OCaml +0.82
What is the purpose of an arrow "->" in OCaml 0.00
What is OPAM system compiler? 0.00
How can I represent an automaton graphically from a list of int*cha... +4.04
Prolog - Generate alternating symbols on backtrack: [a] ; [a,b]; [a... -2.90
How can I verify if a coordinate is in a list -1.57
How can I verify if a coordinate is in a list -1.57
truthtable split in prolog 0.00
Can compare return anything else than -1, 0 and 1? -1.09
Difference in implementation of gcd between logic and functional pr... +1.95
Prolog return value fro rule does not print correctly +4.00
find sister relation from family tree using prolog +3.80
Formulating Effect axiom +0.48
Formulating Effect axiom +4.08
Prolog Sorting a List of Structure, arithmetic error -0.40
Get element from list of lists ocaml 0.00
OCaml - Accumulator Using Fold Left -3.06
What is Horn clause in prolog? 0.00
Function to flatten `('a list * b' list) list` to `'a l... -2.52
Exchange parameters +4.11
Stuck in infinite loop in ocaml while calculating Pi approximation... +3.88
Lambda Calculus Reductions -3.88
PROLOG [hand computation] +0.05
How to configure _oasis for OCaml to set 'Profile' flag -1.85
What's wrong with these code? -2.01
How to show that a clause is derivable from a set of clauses in Pro... +4.00
How to show that a clause is derivable from a set of clauses in Pro... -4.00
In Scala what is difference between val a = "Hello World"... -0.07
Logic programming - Is subset with only one function symbol Turing... 0.00
Add two more occurrences using prolog +3.89
Fluents of more than one goal in prolog 0.00
Check if something is a member in a nested list in Prolog -3.76
Prolog: how to combine 2 predicate become 1 list only 0.00
Prolog - Getting different results by yielding -4.15
Logical equivalence in Prolog +0.21
Some doubts about BNF grammars and Prolog's DCG grammars 0.00
What does the Prolog colon operator mean? 0.00
Scala : Looking for a nice way to split an array -1.44
IntelliJ and Scala 0.00