In defs.h, reverted #if HAVE_STRINGS_H  #include <string.h> #endif to #include <strings.h>
In defs.h, reverted #if HAVE_STRINGS_H  #include <string.h> #endif to #include <strings.h>

AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog