Method | Description | |
---|---|---|
KnowledgeBaseRule6 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System |
Method | Description | |
---|---|---|
Prove ( object args, |
public KnowledgeBaseRule6 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System | ||
ruleHead | Structure | |
ruleBody | Structure | |
checkSingletons | bool | |
source | string | |
line | int | |
return | System |