clausal formの例文
- 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 ".
