Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/typesystem/mpred_type_naming.pl
PublicShow source
 create_meta(?SuggestedName, ?SuggestedClass, ?BaseClass, ?SystemName) is semidet
Create Meta.
 createByNameMangle(?Name, ?IDA, ?InstAO) is semidet
Create By Name Mangle.
 createByNameMangle0(?S, ?I, ?C) is semidet
Create By Name Mangle Primary Helper.
 createByNameMangle_compound(?Name, ?Name, ?Type) is semidet
Create By Name Mangle Compound.
 get_source_suffix(NameNeedsSuffix, ?SS) is semidet
Get Source Suffix.
 create_from_type(?OType, ?Name, ?Type) is semidet
Create Converted From Type.
 modality(?VALUE1, ?VALUE2, ?VALUE3) is semidet
Modality.
 doSpawn(:TermA) is semidet
Spawn.
 doSpawn_modal(?Modality, ?ClassFact) is semidet
Whenever spawn Primary Helper.
 doSpawn_f_args(?Modality, ?Funct, ?List) is semidet
Whenever Spawn Functor Arguments.
 convertSpawnArgs(?Funct, ?N, :TermA, :TermO) is semidet
Convert Spawn Arguments.
 convertOneSpawnArg(?VALUE1, ?VALUE2, ?O, ?O) is semidet
Convert One Spawn Argument.
 spawnOneSpawnArg(?VALUE1, ?VALUE2, ?VALUE3, ?VALUE4) is semidet
Spawn One Spawn Argument.
 convertToInstance(?Name, ?FunctArgType, ?Inst) is semidet
Convert Converted To Instance.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 mpred_type_naming_file