簡體   English   中英

將一階邏輯轉換為子句形式-Java

[英]Convert First Order Logic to Clause Form - Java

我正在嘗試實現一個采用FOL語句並以子句形式返回等效的函數。 關於鏈接,樣本的任何想法,到目前為止我還找不到。

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM