C# Класс Prolog.KnowledgeBaseRule7

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

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

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

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

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

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

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

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

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