Welcome to Owl&Crow

Owl and Crow Productions, LLC are purveyors of fine programs, logic, and languages for communication, expression, problem-solving, and play. Our work includes:

• Dusa, a general-purpose Datalog embedded in JavaScript that goes beyond answer set programming with a general notion of "choice" that replaces ASP's negation.
• Ceptre, a tool for using multiset rewriting to model game mechanics
• Context Collapse, a proof-of-concept implementation of an engine for "Inbox Games" presented at the International Conference on Interactive Digital Storytelling in 2021.

Owl&Crow is the work of Rob Simmons, an educator, software engineer, and product manager with decades of experience across academia and industry, and Chris Martens, an Associate Professor of Computer Science and Art + Design at Northeastern University. They live in Boston, Massachusetts, with two cats Celeste and Nimbus.

Owl&Crow seeks to make high standards of industrial software engineering available in academic contexts, and to make high standards of academic research in programming languages and logics available to industrial software engineers.

Here are a few of the areas where we specialize:

• Logic programming. We are developing finite-choice logic programming, a Datalog-related programming language with much of the power of answer set programming, and its implementation in the Dusa logic programming language.
• Accessible documentation and training. Many systems in both industry and academia suffer from a lack of clear documentation that is accessible to newcomers and useful to experts. We've been the primary maintainers of the community-contributed documentation site for the Twelf logic programming language at twelf.org for over a decade, and have developed systems like sketchzone that make it simple to have lightweight, no-server-required language playgrounds.