메소드 | 설명 | |
---|---|---|
CreatePredicate ( string predicateName ) : IAbstractMachinePredicate | ||
CreatePredicate ( string predicateName, int arity ) : object | ||
IsBuiltin ( string predicateName, int arity ) : bool | ||
IsValidPredicate ( string predicateName ) : bool |
메소드 | 설명 | |
---|---|---|
AMPredicateSet ( ) : System | ||
InstallExternalPredicates ( ) : void | ||
InstallLocalPredicates ( ) : void | ||
LoadExternalPredicate ( string path, string pname ) : IAbstractMachinePredicate |
public CreatePredicate ( string predicateName ) : IAbstractMachinePredicate | ||
predicateName | string | |
리턴 | IAbstractMachinePredicate |
public CreatePredicate ( string predicateName, int arity ) : object | ||
predicateName | string | |
arity | int | |
리턴 | object |
public IsBuiltin ( string predicateName, int arity ) : bool | ||
predicateName | string | |
arity | int | |
리턴 | bool |
public IsValidPredicate ( string predicateName ) : bool | ||
predicateName | string | |
리턴 | bool |