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