%0 Journal Article
%T Adding Sequential Conjuctions to Prolog
%A Keehang Kwon
%A Sungwoo Hur
%J International Journal of Computer Technology and Applications
%D 2010
%I Technopark Publications
%X Prolog have traditionally lacked de-vices for sequentiality. This limitation can be ad-dressed by using a fragment of Japaridze's com-putability logic. We propose Sprolog, an exten-sion to Prolog with sequential-conjunctive goalformulas. Sprolog extends the LogicWeb by al-lowing goals of the form G G where G is agoal. These goals allow us to specify sequential-conjunctive tasks
%U http://www.ijcta.com/documents/volumes/vol1issue1/ijcta2010010101.pdf