Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
false
declarative world
http://stackoverflow.com/users/772868/false
7
7
7
7
< 7
7
7
top
accounts
reputation
activity
subscriptions
Top Questions
107
votes
Some fast way to save and restore tabs of Terminal?
command-line
configuration
gnome-terminal
tabs
asked Jun 20, 2013 at 16:31
askubuntu.com
79
votes
How does copy-paste work with xterm?
unity
xterm
asked Jan 9, 2013 at 0:30
askubuntu.com
57
votes
Rearranging variable_names
prolog
iso-prolog
asked Jan 23, 2014 at 12:25
stackoverflow.com
46
votes
Definition of a path/trail/walk
prolog
graph-theory
transitive-closure
meta-predicate
asked May 19, 2015 at 14:24
stackoverflow.com
40
votes
Reification of term equality/inequality
prolog
prolog-dif
asked Dec 1, 2012 at 23:34
stackoverflow.com
38
votes
Unification with STO detection
algorithm
prolog
unification
iso-prolog
occurs-check
asked May 29, 2015 at 21:25
stackoverflow.com
38
votes
Let me preview an edit so that it appears with the same style as revisions
feature-request
edits
editor
markdown-preview
diff
asked Mar 18, 2012 at 20:23
meta.stackexchange.com
36
votes
How to view git log in Emacs?
git
emacs
asked Nov 5, 2015 at 11:26
stackoverflow.com
33
votes
Demand that page about a privilege is read to get privilege
feature-request
status-declined
new-users
privileges
privileges-page
asked Jan 14, 2013 at 21:29
meta.stackexchange.com
33
votes
different/2 - does a pure, determinate definition exist?
prolog
prolog-dif
logical-purity
asked Jun 16, 2015 at 9:32
stackoverflow.com
1
2
3
4
5
…
8
next
Top Answers
53
Prolog map procedure that applies predicate to list elements
stackoverflow.com
51
What is the difference between ' and " in Prolog?
stackoverflow.com
43
What is the logical 'not' in Prolog?
stackoverflow.com
35
Prolog successor notation yields incomplete result and infinite loop
stackoverflow.com
34
Prolog - unusual cons syntax for lists
stackoverflow.com
28
New Feature: Community Review Tasks - Now in Beta
meta.stackexchange.com
27
Knowing when to use cut in prolog
stackoverflow.com
26
Features of good Prolog code?
stackoverflow.com
25
Alternatives to the WAM
stackoverflow.com
24
Difference between logic programming and functional programming
stackoverflow.com
23
Prolog union for A U B U C
stackoverflow.com
20
Implementing Prolog in C or C++
stackoverflow.com
19
Stack overflow in Prolog DCG grammar rule: how to handle large lists efficiently or lazily
stackoverflow.com
19
Prolog anonymous variable
stackoverflow.com
14
Prolog: How to tell if a predicate is deterministic or not
stackoverflow.com
13
Implementing "last" in Prolog
stackoverflow.com
13
Rotating a list to the right (Prolog)
stackoverflow.com
13
count the number of calls of a clause
stackoverflow.com
13
What are the best Prolog programming practices and style guidelines?
stackoverflow.com
13
Longest common prefix (LCP) of a list of strings
stackoverflow.com
13
Pattern Matching - Prolog vs. Haskell
stackoverflow.com
12
What is the Prolog operator `^` ("caret")?
stackoverflow.com
12
Should I avoid tail recursion in Prolog and in general?
stackoverflow.com
12
Programming in the large with prolog
stackoverflow.com
12
I don't understand what label does in Prolog
stackoverflow.com
11
different/2 - does a pure, determinate definition exist?
stackoverflow.com
11
What's the difference between "false" and "no" in Prolog
stackoverflow.com
11
Making prolog predicates deterministic
stackoverflow.com
11
Rearranging variable_names
stackoverflow.com
11
gprolog: Getting a stacktrace after an exception
stackoverflow.com
1
2
3
4
5
…
10
next
Stack Exchange works best with JavaScript enabled