StackRating

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

Mostowski Collapse

Rating
1477.36 (4,505,444th) 		Reputation
6,701 (24,100th)
Page: 1 2 3 4 ... 5
Title Δ
ISO error classification for multiple definition in Prolog DSL 0.00
Defining operators including vertical bars(|) in SWI-prolog -1.17
word processing prolog -1.19
Duplicate constraints in CLP(FD) and with dif/2 +0.93
SWI-Prolog: How to get unicode char from escaped string? +0.52
Remove leading s(s(0)) in list 0.00
Remove leading zeros in list in Prolog +0.19
how can I determine that all given coordinates of matrix are connec... +0.17
Example channelling constraints ECLiPSe -0.12
CLPFD and infinite countable domains -1.09
prolog - sublist of list - alternative approach +0.32
Prolog predicate (\=)/2 ignored -1.08
Use '->' in prolog +0.54
Whats wrong with this prolog optimization solution? -0.43
Lenses in Prolog via DCG, possible or not? 0.00
Colliding stellar objects via multimethods in OO Prolog? -1.59
On mixing Prolog coroutining (freeze/2, when/2) and DCG -1.58
How to append numbers in a specific range to a list in prolog 0.00
Declarative uses of memberchk/2 -0.51
Is there a Builder like interface in java.* in JDK 1.5 or before? -0.47
Best way to generate integer numbers in Prolog +0.93
Prolog Design Pattern to extend module predicates -1.51
different/2 - does a pure, determinate definition exist? 0.00
Residual constraints with reification in clpfd 0.00
PROLOG [hand computation] +0.01
Recursive list building in prolog 0.00
Prolog BACKWARD CHAINING INFERENCE ENGINE 0.00
Prolog: solving multi-variable arithmetics 0.00
Compatibility of different clp(FD) library implementations 0.00
Advising Prolog processor to utilize huge-pages 0.00
Dimensions of micro-benchmarking in Prolog 0.00
Recognize sentence structure in Prolog 0.00
What does --> mean in prolog? +2.34
Prolog : Enumerate All Elements of Countably Infinite Results 0.00
Unable to create Fact in Jekejeke Prolog 0.00
Declarative Models of Computation in Physical Machines 0.00
need a definition in Isabelle to show that two partial functions ne... 0.00
Efficient Union Find with Existential Quantifier? 0.00
How to write a query contains fact in Prolog 0.00
Better termination for s(X)-sum -0.97
How do I unescape a html attribute value in Prolog? -1.40
How do I set the last modified date of a file in Prolog? 0.00
Is the Prova implemented with a Prolog compiler or Prolog interpret... 0.00
What kind of meta argument is the first argument of predicate_prope... 0.00
Workaround ensure_loaded/1 GNU Prolog? -1.70
Workaround ensure_loaded/1 B-Prolog? +0.30
ERROR: Unhandled exception: Out of local stack - Prolog 0.00
DL stacking, do I miss some CSS? -0.49
Prolog seating constraints 0.00
Highest integers common factor testing error 0.00