Vi studerar egenskaperna hos input-krävande derivat av moded logik program. Input-krävande härledningar kan användas för att modellera beteendet hos logiska program med hjälp av dynamisk schemaläggning och användning av konstruktioner såsom fördröjningsdeklarationer. Vi anser att klassen av fina-moded program och frågor. Vi visar att för dessa program en svag version av den välkända byta lemma håller också för input-krävande derivat. Dessutom visar vi att det under lämpliga förhållanden finns en algebraisk karakterisering av avslutandet av ingående derivationer.
Det specifika problemet med avslutande av indatakrävande derivat har också behandlats i REF, där snyggt modererade program har studerats.
Properties of Input-Consuming Derivations
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}