StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Isabelle Newbie

Rating
1546.14 (9,194th)

Reputation
2,951 (57,315th)

Page: 1 2 3 4 ... 6

Title	Δ
System State in Prolog	-0.05
Outputting prolog in Mac	0.00
Depth limited alpha-beta in prolog	0.00
First N Fibonacci Numbers in Prolog	+1.63
Printing out a dynamically sized truth table using lists in prolog	0.00
How can I make a time parsing predicate work in both directions?	-1.56
Automating my pet debugging strategy in SWI-Prolog	0.00
Prolog - Recursive append to list returning false	+0.45
Creating a DCG capable of parsing trees in Prolog	0.00
How to define a string concatenation operator in prolog?	+1.84
Prolog: Make double negation possible with an operator	0.00
Prolog: define logical operator in Prolog as placeholder for other...	0.00
Einsteins puzzle in prolog	0.00
Recursive succ addition in Prolog	0.00
Explanation for why append/3 produces infinite number of solutions...	-1.98
How to take procedure as input in prolog	0.00
Prolog - number to list of digits	0.00
Recursively creating a list of descendants in Prolog	0.00
Prolog rule can condition to be before a date, but not after a date...	0.00
PROLOG: How can I create a KMP algorithm in prolog?	0.00
Prolog implementation of Quine's algorithm for classical propos...	+1.07
How do I code a fact with variable arguments?	0.00
Split a list into two in prolog	+1.52
How to get a numeric value from the consulting file in Prolog?	0.00
Why does my prolog rule get stuck in infinite recursion	0.00
Quoridor AI - undirected graph	0.00
Variable bin packing problem with Prolog (CLP)	+1.86
How to simplify a statement of lemma	0.00
Here is a problem with the factorial code that I made with Prolog	0.00
finding depth of object without use of arithmetics	+1.67
eight queen problem with permutation in prolog	0.00
A list on which there are duplicates(on sequence),a part of which i...	0.00
Where is the source sink of SWI-Prolog?	0.00
Prolog - load 2D array from text file into program	0.00
For a given string, develop a prolog load (aSCii_Encoded (S, X))	0.00
Prolog: How does delete/3 works?	0.00
Prolog: Code Explanation about list and recursive wanted	0.00
Pattern matching using list of characters	0.00
Writing a Prolog rule to check shows with rating greater than 8.5	+2.09
Prolog: is valid distribution Rule	0.00
misconception about how prolog works	+1.78
Pattern matching with lists and strings with Prolog	0.00
Is there any way to print it in python(python bridging on prolog)?	0.00
How is the unbound output list bound to the input list elements plu...	+2.62
Prolog - bagof - case of no results	0.00
Prolog query with constraint returns false, but there are answers	0.00
Prolog classification by giving points to classes	0.00
How to make a maze in Prolog?	0.00
How can prolog take minutes to check for answers within a bunch of...	0.00
Why single_child() does not work in prolog?	+1.69