C# Class Prolog.KnowledgeBaseRule0

Inheritance: KnowledgeBaseRule
ファイルを表示 Open project: ianhorswill/UnityProlog

Public Methods

Method Description
KnowledgeBaseRule0 ( 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

KnowledgeBaseRule0() public method

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