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 Δ
Comparision of abstract machines for execution of Prolog 0.00
Constraint programming in SWI-Prolog 0.00
Prolog calculator simply returns true 0.00
Is there a package manager for Prolog? +0.03
Formulating quadratic equations in clpfd 0.00
Where should I start learning jekejeke for prolog 0.00
Herbrand universe and Least herbrand Model -1.55
compiling [Head|Tail] to SQL 0.00
SWI Prolog Water jug puzzle 0.00
Prolog - Numbers greater than x 0.00
How to explore apk paths for a shared user? 0.00
Princeton wordnet prolog files - how to use sense key 0.00
Prolog error: Predicate Protected 0.00
Tower of Hanoi in Visual Prolog 0.00
infinity recursive stack in prolog 0.00
Recognize A^n B^n language in Prolog with no arithmetics +0.43
PROLOG with lambda expressions -4.04
Hooking into prolog's unification trace output 0.00
Standard way to see what phrase/3 translates? +0.50
How to get strongest path prolog? 0.00
Hiding Variables in a Prolog Query 0.00
What's the SLD tree for this query? +0.09
Prolog statements/commands with animals (logic help) 0.00
Way of using find_all receiving function? 0.00
How to write kind of Conditional Planning in Prolog? -0.29
Prolog game programming board evaluation 0.00
Javadoc API: How far are varargs supported? +4.07
Partial Dictionary/Record Unification? +1.71
Prolog - unsure about the rules for books 0.00
Legitimate uses of (\+)//1 +4.00
Legitimate uses of (\+)//1 -4.00
Please i am new in prolog can some body help me in this exercice 0.00
prolog first order logic -2.81
Does Prolog have a condition and restart system like Common Lisp? -0.89
Prolog Binary Addition Issue? -3.99
algebraic simplification in prolog 0.00
"Out of local stack" reversing a list -4.28
Herbrand universe, Herbrand Base and Herbrand Model of binary tree... 0.00
What is the combinatory logic equivalent of intuitionistic type the... -3.17
A searchable Prolog language description online -3.74
How do I prevent a Datalog rule from pruning nulls? -0.31
Prolog - Do plain rules have better performance than lists? +3.80
Removing left recursion in DCG - Prolog +1.92
Prolog: pythagorean triple 0.00
Forward chaining in YAP Prolog? +0.08
How to find string length using prolog +4.12
Prolog - Getting Syntax Error - Operator Expected -1.85
Command line argument vectors in Prolog? +4.00
Using JPL (Java + Prolog) in a Java EE web application 0.00
if else if else clause in prolog similar to C/C++ -0.46