- However, the first proposal to use the clausal form of logic for representing computer programs was made by Cordell Green.
- During the summer of 1971, Colmerauer and Kowalski discovered that the clausal form of logic could be used to represent formal grammars and that resolution theorem provers could be used for parsing.
- Its name is derived from SL resolution, which is both sound and refutation complete for the unrestricted clausal form of logic . " SLD " stands for " SL resolution with Definite clauses ".
- It's difficult to find clausal form in a sentence. 用clausal form造句挺難的