logic-programming

38 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to eliminate circular solutions in unification?
user_6396760
•
1
0
26
logic-programming python
Creating random CNF formulas prolog
user_124177780
•
1
2
115
conjunctive-normal-form logic-programming swi-prolog prolog logic
Optimizing difficulty with a level generator using Clingo
user_133233850
•
1
1
31
clingo answer-set-programming logic-programming
Does the term "Functor" in Prolog have any relation to the term taken from Category Theory?
user_160922240
•
6
1
95
category-theory logic-programming prolog functor functional-programming
Inductive proofs in theorem provers (Z3, Vampire, with TPTP syntax)
user_133125800
•
1
2
158
theorem-proving smt z3 logic-programming logic
Route Inspection of Directed Graph in ASP
user_175306180
•
2
1
78
answer-set-programming euler-path logic-programming graph-theory
Clauses in (lambda)prolog starting with a cut
user_7800770
•
2
0
58
lambda-prolog prolog-cut logic-programming prolog
Negative optimization result in Answer Set Programming
user_175306180
•
1
1
110
answer-set-programming logic-programming optimization
Spanning Trees in Answer Set Programming
user_175306180
•
1
1
60
answer-set-programming spanning-tree logic-programming graph
What is committed-choice logic programming language?
user_45184820
•
3
1
119
logic-programming prolog programming-languages terminology
Hot Questions