C# Class Prolog.KnowledgeBaseRule8

Inheritance: KnowledgeBaseRule

Show file Open project: ianhorswill/UnityProlog

Public Methods

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

KnowledgeBaseRule8() public method

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