The logic-programming tag has no wiki summary.
11
votes
3answers
2k views
What is a practical non-von Neumann architecture?
Are there any practical applications for non-von Neumann programming models? What are the most widely adopted non-von Neumann programming languages?
4
votes
1answer
213 views
Papers on Prolog-like languages without closed world assumption (CWA)
Prolog execution process may be seen as a search that model scientific search for a proof of a proposition. At the same time, real world scientific search greatly differs from Prolog search in the ...
4
votes
2answers
252 views
Minimize a datalog program
We can consider a datalog program as a set of clauses. Some of them allow to derive others. For instance from:
A(x) :- B(x), C(x).
B(x) :- D(x).
C(x) :- D(x).
We ...
2
votes
1answer
168 views
Recommendation for a good book on first order logic w.r.t inductive logic programming
I have had 10 days to read up on Computational Logic but the books I am following are only succeeding in confusing me. I find most of text's ( Niehuys-Cheng & de Wolf 1997, De Raedt 2008, Lloyd ...
7
votes
2answers
265 views
DATALOG references
What are the best references for self study in DATALOG? I am particularly interested in expressive power, complexity results, evaluation methods, extensions of DATALOG with negation etc. Are there any ...
8
votes
2answers
420 views
Logic Programming: Transforming B:-A C:-A to B,C:-A
I hope I've come to the right place... it's (probably) a fairly straightforward Logic Programming question.
If I have two clauses of the form:
B:-A C:-A
I can ...
13
votes
2answers
635 views
Difference lists in functional programming
The question What's new in purely functional data structures since Okasaki?, and jbapple's epic answer, mentioned using difference lists in functional programming (as opposed to logic programming), ...
