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	Δ
Free Variable in Prolog	+3.36
How can I use this merge sort code in Prolog?	-0.73
Most General Unifier (Prolog)	0.00
Why does removing the cut operator in this Prolog recursion not mat...	0.00
Creating a if else in prolog	0.00
output shows the type like Atom or Variable not the actual value of...	+3.89
Prolog, Dynamic Programming, Fibonacci series	+3.57
Scala Map's get vs apply operation: "type mismatch"	-2.66
How do I express that a proposition is independent in TLA+?	+0.17
Disjunction G1 ; G2 vs. If-then-else Cond -> G1 ; G2	-4.39
Proving basic arithmetic properties	0.00
Create a list from a Prolog DCG	0.00
Create a list from a Prolog DCG	0.00
Why do i get syntax error at end problem with pattern matching	-3.32
Filtering a tuple while preserving order in TLA+	-4.01
Is there a way to add an empty element to a list in OCaml?	-2.54
Dealing with Unbound variables & lists	+4.14
Is there a Prolog name for moving a functor name in to an argument?	-3.50
Specifying multiple steps using TLA+ (Temporal Logic of Actions)	0.00
Prolog Backtracking findall for two variables	+3.63
Test in Prolog. How to run a unit test that checks if my output fil...	0.00
Prolog only check variable is instantiated	+2.36
How to fix zip function for lazy list (aka "stream")?	-2.06
Insert into open-ended list without binding its tail variable	0.00
Checking if all bolean elements in a list are the same in Haskell	-2.73
in which order will ubuntu search bin-folders for executables?	0.00
haskell how to check two lists of tuples are equal and take union	-1.10
Using List.exists, List.for_all, and List.filter together in OCaml	0.00
Prolog: why do I end up with list with anonymous variables	+5.44
Prolog single-variable query returns an error. Why?	0.00
How to find someone who only published one book?	+3.98
How to stop backtracking and end the recursion in Prolog	-0.10
How to extract only the values from a map	-4.59
swi prolog: conjunction and cut	0.00
Scala 'type mismatch error' while using a function but work...	-0.41
Prolog : return variable, check if variable is of certain type?	0.00
Prolog - List into String	0.00
How to make a list of pairs from facts in SWI-Prolog?	+0.65
Are PROLOG facts bilateral?	0.00
Implementing the Prolog Unification algorithm in Python? Backtracking	+3.97
How to write it in skolem form?(Prolog)	+1.85
Ocaml use let rec in the let rec	+4.72
How to check whether some variable returns something in predicate	+3.90
Prolog - How does [ H \| _ ] and [ _ \| T ] work?	0.00
In Prolog, predicate	0.00
Remove all indices from collection	+0.13
How to do 'Average' in Prolog?	+2.63
Handling scala array group with ties	-2.93
Representing syntactically different terms in TPTP	0.00
How to rewrite complex conditional as pattern matching?	-1.74