Questions tagged [prolog]
2 questions
2
votes
2 answers
Can I use some software method to solve and derive logic proofs?
For example, suppose I have this problem:
T
(T ⊃ (B ∨ M))
(M ⊃ H)
~H
I heard there's a programming language called Prolog which can verify whether the conclusion was true or false. I would like to confirm if that is true or false news I heard?
user963241
- 417
- 2
- 4
- 11
1
vote
3 answers
Lists and predicates on lists in classical first order logic
I have to express some basic Prolog code in classical first order logic (FOL). In Prolog i use lists, together with member/2 and append/3 a lot. Could you give me some tips for writing clauses like the ones in the toy example below in FOL? The xs…
user34796