C# Class Prolog.KnowledgeBaseRule4

Inheritance: KnowledgeBaseRule

Afficher le fichier Open project: ianhorswill/UnityProlog

Méthodes publiques

Méthode	Description
KnowledgeBaseRule4 ( 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

KnowledgeBaseRule4() public méthode

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