first-order-logic

19 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Reporting *why* a query failed in Prolog in a systematic way
user_20357080
•
5
2
221
first-order-logic prolog
First-order logic question: Which one is the translation of “John has exactly one brother ”?
user_133510990
•
2
1
259
first-order-logic logic
Clause subsumption algorithm
user_458430
•
5
0
303
theorem-proving first-order-logic language-agnostic algorithm
Convert FOL clauses to PROLOG
user_108538600
•
4
1
1338
first-order-logic prolog
Which First Order theorem provers are guaranteed to halt on monadic inputs?
user_7883370
•
9
0
117
theorem-proving smt first-order-logic formal-verification proof
Does the order of prenex quantification matter in EPR fragment?
user_20169670
•
3
1
116
decidable smt z3 first-order-logic
First order logic Prolog anonymous variables
user_83774120
•
3
1
137
prolog-anonymous-variable first-order-logic prolog
Predicate vs Functions in First order logic
user_7536030
•
28
5
16674
agent first-order-logic logic artificial-intelligence algorithm
Predicate Logic in Haskell
user_3126920
•
25
2
4674
first-order-logic data-structures context-free-grammar haskell
Hot Questions