Inspired by the main work in biomolecular logic programming, we present a new encoding scheme for facts, rules, and queries to implement backward/forward chaining inference paths via catalytic DNA ...

We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching by asking ...