Adding a loop Construct to prolog

Prolog have traditionally lacked de-vices for the looping tasks. This limitation canbe addressed by using a fragment of Japaridze'scomputability logic. We propose SeqProlog, anextension to Prolog with sequential recurrencegoal formulas. SeqProlog extends Prolog by al-lowing goals of the formTG where G is a goal.These goals allow us to specify the looping tasks.keywords: Prolog, loop, computability logic.