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 ... 5
Title Δ
Prolog implementation of Beckert & Posegga's algorithm -0.06
Prolog implementation of Quine's algorithm for classical propos... -0.63
Proper definition of "atom" in Prolog and Logic Programming 0.00
Java class that represent Lock and Condition combo 0.00
can truncate(7^sqrt(8)-8^sqrt(7)) be solved via CLP(FD)? 0.00
Can I make Prolog's "format/x" family behave leniently? +0.53
Change the default output values in ​swi-prolog "true" an... -1.08
SWI Prolog description of call/1: "clauses may have variables... 0.00
Anytime strongly connected components via Prolog 0.00
Approximate value of sin by Taylor series +0.14
Is there a value of maxdelay for which repaint(long maxdelay) = rep... 0.00
Parallel Primes in Prolog? 0.00
How to solve a knapsack problem in CLP(B) -1.47
Verify_attributes in SICStus Prolog 0.00
Is there something like anonymous predicates in SWI Prolog? -0.07
Disjunction G1 ; G2 vs. If-then-else Cond -> G1 ; G2 +0.55
Prolog: Creating a frequency list of another list -0.17
How to make more paths visible in a SWI-Prolog package? 0.00
Grouping elements of 4 different lists -1.78
Prolog: "chili" interpreter that expresses call stack and... -0.47
bidirectional and deterministic binary decrement -1.11
Goal expansion for an `if_/3` operator in Prolog 0.00
Prolog Infinite loop on circular facts -1.11
Sequent calculus in prolog +0.52
Get the same day from this year -0.04
Is it possible to preserve variable names when writing and reading... +0.52
Prolog program comprehension +1.38
precedence of negation in SWI prolog 0.00
Frogs and Toads 0.00
Abduction of Prolog clauses 0.00
Why length/2 predicate in prolog can produce infinite number of len... 0.00
Prolog check element in grid -0.47
Prolog: Difference between overriding predicate and using it -1.17
Solve dynamic programming in Prolog via corecursion 0.00
Order of unknowns in Prolog constraint logic programming (clpr) +0.52
The Eight-Digit puzzle in prolog +2.08
Prolog - programming a board game called Adugo 0.00
Why does strawberry prolog ignore whitespaces 0.00
Prolog - partially ordered set 0.00
Logical Negation in Prolog 0.00
Why a bignumber is shown incomplete in ECLiPSe Prolog? +0.08
CLP(B) weighted sat_count/3 in Prolog +0.03
Escaped Characters Outside the Basic Multilingual Plane (BMP) in Pr... +1.31
Choice points and Redo's in Prolog +0.28
Truthful abstract measure for run time cost of a Prolog goal 0.00
Prolog: predicate for maximum without accumulator -1.03
Prolog member/2 predicate -1.25
Find if a number is a member of an element in a list -1.22
How does one express ∀X ∃Y r(X, Y), ∃X ∀Y r(X, Y)? 0.00
/usr/libexec/java_home Command 0.00