R-Maple: A Concurrent Programming Language Based on Predicate Logic, Part I: Syntax & Computation