Re: [boost] Ternary logic programming

Subject: Re: [boost] Ternary logic programming
From: Bjorn Reese (breese_at_[hidden])
Date: 2015-07-03 06:32:01

On 07/03/2015 12:09 PM, Robert Jones wrote:
> I believe boost::tribool addresses exactly this point.

It supplies one answer to the question, but that is selecting
the truth tables before regarding the use-cases. For an altenative
approach see:

http://permalink.gmane.org/gmane.comp.lang.c%2B%2B.isocpp.proposals/5250

and the motivation:

http://permalink.gmane.org/gmane.comp.lang.c%2B%2B.isocpp.proposals/5270

So I would like to reiterate, let us start with the use-cases and then
select the truth tables afterwards.