Method | Description | |
---|---|---|
CreatePredicate ( string predicateName ) : IAbstractMachinePredicate | ||
CreatePredicate ( string predicateName, int arity ) : object | ||
IsBuiltin ( string predicateName, int arity ) : bool | ||
IsValidPredicate ( string predicateName ) : bool |
Method | Description | |
---|---|---|
AMPredicateSet ( ) : System | ||
InstallExternalPredicates ( ) : void | ||
InstallLocalPredicates ( ) : void | ||
LoadExternalPredicate ( string path, string pname ) : IAbstractMachinePredicate |
public CreatePredicate ( string predicateName ) : IAbstractMachinePredicate | ||
predicateName | string | |
return | IAbstractMachinePredicate |
public CreatePredicate ( string predicateName, int arity ) : object | ||
predicateName | string | |
arity | int | |
return | object |
public IsBuiltin ( string predicateName, int arity ) : bool | ||
predicateName | string | |
arity | int | |
return | bool |
public IsValidPredicate ( string predicateName ) : bool | ||
predicateName | string | |
return | bool |