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 5 ... 6

Title	Δ
Globalization of large arrays in Prolog	0.00
How to create a higher order DCG parser in Prolog?	0.00
Is it possible to write an inconsistent Prolog program using only p...	-1.03
Function to find a list in prolog	0.00
How to exclude all countries that have flag with primary colour in...	-0.04
clpfd requires labeling to find any solutions (when using \+)	0.00
Finding subsequence pairs	+0.35
Prolog "," operator not working as intended?	-0.33
Arithmetics in Prolog, represent a number using powers of 2	+0.21
Prolog: Murder Mystery solution	+0.14
How can I display the results of an SWI-Prolog program in a table?...	0.00
Get index of a Term's argument in Prolog	0.00
How can I print spaces in prolog	0.00
Constraint predicate not starting with the maximum value	-2.10
scheduling code is not identifying all solutions. possibly not back...	0.00
Change list of variables according to another list containing the i...	+1.71
Run Length Encoding Issue	0.00
Prolog Recursion through a list	0.00
Prolog: model simple polymorphic type	0.00
How to get multiple goals in Prolog	0.00
How can I get pairs of consecutive elements in Prolog?	+1.31
matching patterns in matrix using prolog dcg	+1.94
Checking if a list of variables is unifiable with a list of lists c...	0.00
Trying to Implement a Split Predicate in Prolog	-0.13
Why does this recursive Prolog predicate add some "_1508"...	0.00
Checking all the words in list that unify with list of variables	0.00
How can I return an int variable after handling it several times in...	+0.31
How to leave in the first list elements that have a even occurrence...	+2.47
Splitting list into sorted sublists (Prolog)	+2.15
How to interface Prolog CLP(R) with real vectors?	0.00
Prolog what's the difference between \+ and \=	0.00
Removing given value from list and storing in accumulator	0.00
Recursive func Prolog	0.00
Easier way to get "unique" bindings?	+0.92
Prolog cut after a fact	0.00
Prolog gives up after failing once?	0.00
How to order a list of tuples in Swi-Prolog	-0.02
Coq - proving something which has already been defined?	0.00
Defining floats and proofs using flocq	0.00
Print a List inside a nested List that contains an element	0.00
Mutually exclusive events in prolog	+0.34
Prolog result not store	0.00
Prolog Path Finding with Prerequisites	0.00
Recursive definitions in Prolog	-0.81
Adding to a list of lists in Prolog	+0.45
List of lists into modified single list	0.00
A predicate that takes a list and repeats each element X amount of...	0.00
print 0 to 10 in Ascending Order in prolog	0.00
Graph implementation (does graph include all vertices?)	0.00
Constructing list from user input in Prolog	+2.54