Abstract
Forth generation system development methodology is the methodology that applies systems concepts/models and set theoretic formulations to the problem solving type information system design, and that implements the designed set theoretic formulation in extProlog.First of all, we start from an input output description, and use the goal seeking model to fill the black box or as an internal model. Its solving strategy is designed by the hill climbing with PD (push down) stack or the dynamic programming method with CBR (case based reasoning). This paper discusses the methodology using the hill climbing with PD stack.
