StackRating

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

mat

Rating
1687.29 (212th) 		Reputation
37,144 (3,029th)
Page: 1 ... 4 5 6 7 8 ... 15
Title Δ
Prolog First Steps: What is wrong about this code? +1.46
Understanding the append syntax 0.00
Avoiding infinite recursion with Constraint Handling Rules 0.00
Prolog : get the opposite result +0.29
Why does this substitution hold in Prolog? 0.00
Maze Solver DFS Algorithm -1.06
Prolog: Code Generation +1.10
A positive_integer/1 predicate that works for big numbers +0.84
How to query prolog database from prolog webpage? 0.00
Querying prolog dynamically 0.00
Prolog: Predicate that tells if given integer is a power of two and... +0.27
Modulo function and variable domain +1.25
Use of Prolog =.. predicate +0.28
Solving linear programming with Prolog 0.00
Deep Reverse in PROLOG - Lists +0.28
Reversible merge -0.42
Remove incorrect subsequent solutions without once +1.12
Solving mutually recursive constraints in Prolog -1.15
running make on a http_deamon swi prolog 0.00
`var(A)` and order of execution 0.00
Organising data and code across modules in Prolog +0.79
Prolog program to get an (integer) number as the sum of two integer... +1.13
How to use member predicate to specify constraints in prolog +1.31
Prolog executable writing String in codes 0.00
Web access of Prolog database 0.00
How to perform long concatenation of lists in Prolog? 0.00
Querying from the terminal doesn't print anything 0.00
Consulting an atom +0.28
Masking in Prolog -0.38
Prolog rules for small environment +0.27
Translating Prolog code to Lisp +1.70
Real numbers not working in Prolog +0.33
How to choose between bagof, setof and findall in Prolog +1.17
is_list/1 and free variables 0.00
Removing consecutive duplicates from a list in Prolog +1.32
File Exception Handling and wait for a process in SWI Prolog 0.00
Trying to generate list of non-zero integers in Prolog 0.00
How to create arithmetic and disequality constraints in Prolog +1.46
How to validate commutativity involving the dif/2 constraint? 0.00
Set partitioning -0.16
Herbrand in Prolog 0.00
Prolog : avoid redundant choice points (non-determinism) with and w... +1.22
Memoizing goals in Prolog 0.00
Sort lists from shortest to longest 0.00
Expert Systems Design: logic programming (Prolog) versus general pu... 0.00
Is it possible to view all implications of a given predicate being... 0.00
CLPFD and infinite countable domains +1.09
How to travel a list n by n elements +0.28
How to stop backtracking when recursively calling a rule 0.00
represent "there is X where a(X) is not true" and alike i... +0.29