C# Class Prolog.KnowledgeBaseRule1

Inheritance: KnowledgeBaseRule
显示文件 Open project: ianhorswill/UnityProlog

Public Methods

Method Description
KnowledgeBaseRule1 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System

Private Methods

Method Description
Prove ( object args, PrologContext context, ushort parentFrame ) : IEnumerable

Method Details

KnowledgeBaseRule1() public method

public KnowledgeBaseRule1 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System
ruleHead Structure
ruleBody Structure
checkSingletons bool
source string
line int
return System