C# Class Axiom.Runtime.AMPredicateSet

Exibir arquivo Open project: ahodroj/prologdotnet

Public Methods

Method	Description
CreatePredicate ( string predicateName ) : IAbstractMachinePredicate
CreatePredicate ( string predicateName, int arity ) : object
IsBuiltin ( string predicateName, int arity ) : bool
IsValidPredicate ( string predicateName ) : bool

Private Methods

Method	Description
AMPredicateSet ( ) : System
InstallExternalPredicates ( ) : void
InstallLocalPredicates ( ) : void
LoadExternalPredicate ( string path, string pname ) : IAbstractMachinePredicate

Method Details

CreatePredicate() public method

public CreatePredicate ( string predicateName ) : IAbstractMachinePredicate
predicateName	string
return	IAbstractMachinePredicate

CreatePredicate() public method

public CreatePredicate ( string predicateName, int arity ) : object
predicateName	string
arity	int
return	object

IsBuiltin() public method

public IsBuiltin ( string predicateName, int arity ) : bool
predicateName	string
arity	int
return	bool

IsValidPredicate() public method

public IsValidPredicate ( string predicateName ) : bool
predicateName	string
return	bool