%0 Journal Article
%T Adding a loop Construct to prolog
%A Keehang Kwon
%J International Journal of Computer Technology and Applications
%D 2011
%I Technopark Publications
%X 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.
%U http://ijcta.com/documents/volumes/vol2issue1/ijcta2011020105.pdf