The ${\sc np-spec}$ Project
Luigi Palopoli, Andrea Schaerf · Intelligenza Artificiale · 2013
is a logic-based executable specification language developed primarily by Marco Cadoli, with the collaboration of these and other authors. This paper describes, by means of several examples, the core language of , along with its semantics and expressive power. Finally, we briefly discuss the translation of specifications into SAT formulae, which provides an efficient implementation of its execution engine.