Learn More
Prolog have traditionally lacked devices for sequentiality. This limitation can be addressed by using a fragment of Japaridze's com-putability logic. We propose Sprolog, an extension to Prolog with sequential-conjunctive goal formulas. Sprolog extends the LogicWeb by allowing goals of the form G ∩ G where G is a goal. These goals allow us to specify(More)
To deal with failures as simply as possible, we propose a new foundation for the core (untyped) C, which is based on a new logic called task logic or imperative logic. We then introduce a sequential-disjunctive statement of the form S : R. This statement has the following semantics: execute S and R sequentially. It is considered a success if at least one of(More)
  • 1