Adding Sequential Conjuctions to Prolog

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