Vi presenterar en algoritm för automatisk typkontroll av logiska program med avseende på riktningstyper som beskriver både strukturen av termer och riktningsegenskaperna hos predikat. Problemet med typkontroll reduceras till ett decimerbart problem med system för integrationsbegränsningar över givna uttryck. Vi diskuterar vissa egenskaper hos reduktionsalgoritm, komplexitet, och presentera ett bevis på korrekthet.
REF presenterar en algoritm för automatisk kontroll av riktningstyper av logiska program.
Directional Type Checking of Logic Programs
{'venue': 'SAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}