C# Класс Prolog.KnowledgeBaseRule6

Наследование: KnowledgeBaseRule

Показать файл Открыть проект

Открытые методы

Метод	Описание
KnowledgeBaseRule6 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System

Приватные методы

Метод	Описание
Prove ( object args, PrologContext context, ushort parentFrame ) : IEnumerable

Описание методов

KnowledgeBaseRule6() публичный Метод

public KnowledgeBaseRule6 ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System
ruleHead	Structure
ruleBody	Structure
checkSingletons	bool
source	string
line	int
Результат	System