mmisamore

:- use_module(library(clpfd)).

% True if TypeFieldFunctor is the functor built from TypeName and FieldName atoms
% with an underscore between
type_field_functor(TypeName, FieldName, TypeFieldFunctor) :-
  atom_chars(TypeName, TypeChars),
  atom_chars(FieldName, FieldChars),
  append(TypeChars, ['_'], TypeUnderscore),
  append(TypeUnderscore, FieldChars, TypeFieldFunctorChars),
  atom_chars(TypeFieldFunctor, TypeFieldFunctorChars).