Vi presenterar en ny karakterisering av avslutandet av allmänna logiska program. De flesta befintliga termineringsanalyser bygger på viss statisk information om strukturen på källkoden för ett logiskt program, såsom lägen/typer, normer/nivåkartläggningar, modeller/interargumentrelationer, och liknande. Vi föreslår en dynamisk strategi som använder några viktiga dynamiska funktioner i en oändlig (generaliserad) SLDNF-derivation, såsom upprepning av utvalda delmål och rekursiv ökning av termen storlek. Vi introducerar också en ny formulering av SLDNF-träd, så kallade generaliserade SLDNF-träd. Generaliserade SLDNF-träd hanterar negativa delmål på samma sätt som Prolog och finns för alla allmänna logiska program.
I REF presenterar författarna ett dynamiskt tillvägagångssätt för att karakterisera (i form av ett nödvändigt och tillräckligt villkor) avslutande av allmänna logiska program.
A dynamic approach to characterizing termination of general logic programs
{'venue': 'TOCL', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}