C# Class Prolog.KnowledgeBaseRule3

Inheritance: KnowledgeBaseRule

Afficher le fichier Open project: ianhorswill/UnityProlog

Méthodes publiques

Méthode	Description
KnowledgeBaseRule3 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System

Private Methods

Méthode	Description
Prove ( object args, PrologContext context, ushort parentFrame ) : IEnumerable

Method Details

KnowledgeBaseRule3() public méthode

public KnowledgeBaseRule3 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System
ruleHead	Structure
ruleBody	Structure
checkSingletons	bool
source	string
line	int
Résultat	System