假设我们必须管理一个不一致的数据库，并且在我们要开发的系统中，我们确实有4个真值（T，F，Both，None）。在给定P公式的情况下，我们确实有：
- A）计算机被告知P为真（并且没有被告知是假的）。
- B）计算机被告知P为假（并且没有被告知是真的）。
- C）计算机被告知P既是真的又是假的（例如不同的来源）
- D）没有告知计算机任何关于P的事。
所以，我评估我的真值表，并将不同的布尔运算符设置为不同的真值，例如如果我们命名＆＃34; neq＆＃34;对于这个系统的否定函数，我们可以写下4个值，如：
- NEQ（无，无）
- NEQ（F，T）
- NEQ（T，F）
- NEQ（两者，两者）
- 列表项
对所有其他运营商而言;然后我需要在语义上设置定义：
- 如果v（A）= T或v（A）= Both
，则在v 下至少为真
如果v（A）= T或v（A）= Both ，则- v 下不为真
- 如果v（A）= F或v（A）=无
，则在v 下至少为false
如果v（A）= F或V（A）=两者- 非虚假v
如何将所有内容发展为prolog，我应该使用哪种元解释？感谢