FOL in Prolog
I'v got to represent a truth table in prolog having a FOL expression as in "Tarski's world" and I really don't know where to start.
I'm hoping I can get a few tips from all you experts out there. :))
Here are 2 examples of what I mean:
A | B | A ^ B |
---------------|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
| | |
A | B | A v B |
---------------|
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
| | |
I'm needing this in order to know if the results match:
- They're all 1s
- At least one of them is 1
Thaks in advance
Filipe Correia
I'm hoping I can get a few tips from all you experts out there. :))
Here are 2 examples of what I mean:
A | B | A ^ B |
---------------|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
| | |
A | B | A v B |
---------------|
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
| | |
I'm needing this in order to know if the results match:
- They're all 1s
- At least one of them is 1
Thaks in advance
Filipe Correia
ASKER
Adjusted points from 80 to 200
ASKER
I'm needing an (good) answer in a week time.
Pleeeeeeeaaassss
Filipe Correia
Pleeeeeeeaaassss
Filipe Correia
ASKER CERTIFIED SOLUTION
membership
This solution is only available to members.
To access this solution, you must be a member of Experts Exchange.
ASKER
Ok. I'll give it a look.
If you know any other page that may interest me (not only about the subject above but about other prolog related subjects) I'd really appreciate the links.
Thanks(you're a life saver).
Filipe Correia
ASKER
Thanks, it helpped a lot...
;)
C.U. around...
Filipe Correia
;)
C.U. around...
Filipe Correia
ASKER
Comment accepted as answer
ASKER