Questions tagged [prolog]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
2answers
180 views

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 ...
1
vote
1answer
106 views

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 ...