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 Δ
Frama-C aborted Invalid user input +0.16
Negation sentence in prolog 0.00
Prolog equivalent for haskell concat +1.01
Asserting all different possiblities 0.00
Prolog predicate to see if a square sequence converges to 1 0.00
My simple prolog code is throwing an syntax error: operator expected +4.13
Constructing an array of ground data from list of integers in ECLiPSe 0.00
Prolog predicate from another perspective 0.00
Prolog - How to get findall results 0.00
Getting the end date from start date and duration in PROLOG 0.00
Implementing vertex covering in Prolog -0.05
Cryptogram Puzzle with Prolog CLPFD +4.17
PROLOG store nth element of list if string is found in list +4.04
Prolog get 2nd element of compound term for each element in list 0.00
Frama-C warning: Missing assigns clause (assigns 'everything... 0.00
ocaml recursive type record with constructors 0.00
Prolog prob with "list" dont know why 0.00
How to print maze in prolog -3.84
findall Arguments are not sufficiently instantiated +3.95
How to split a string into list of characters in PROLOG? 0.00
How to find phrase in file prolog -2.04
Error: No permission to modify static procedure 0.00
Decompose list into lists of successive subsequences +3.90
Polymorph type specification -3.79
Prolog Member Implemention -1.83
read_line_to_codes Prolog swipl strange behaviour 0.00
How to read a file creating a list +3.97
Haskell to Prolog or just Prolog delaunay triangulation 0.00
Prolog: Finding all possible permutations of a list of elements wit... 0.00
Sierpinski Carpet in Prolog 0.00
Sibling relation that just doesn't seem to cover all cases 0.00
Prolog: comparing strings in if/else statement? 0.00
how ot proof 10%Z < Int.max_unsigned in Coq and the Int type fro... +4.06
How to specify a range in nondet (to avoid choicepoints in PL Unit... 0.00
How to call proof asistant Coq from external software -3.91
Prolog DCG: Match different symbols on a chain -0.53
Why is [] = _. true in Prolog? 0.00
menhir - associate AST nodes with token locations in source file +0.54
Installing frama-c on ubuntu 0.00
Type error: `character_code' expected with prolog 0.00
Prolog how to pattern match a type with arguments +1.31
Prolog Database Duplicates 0.00
How to remove the quotation in prolog? -4.11
Prolog: Write code to manipulate a graph to find a solution at a de... 0.00
Use results proven in a library (Coq) 0.00
Concept questions about complex terms in Prolog +1.27
Generate all expressions from list of numbers equal to a number [PR... +0.51
Binding unordered lists in prolog -1.45
Squeak smalltalk: Drawing a morph representing a card suit 0.00
Adding new Facts to database PROLOG +4.11