Abstrakt. I detta dokument presenteras en bakåtblickande typanalys för logiska program. Med tanke på typsignaturer för en samling utvalda predikat såsom inbyggda eller bibliotekspredikat, kan analysinfererar typsignaturer för andra predikat så att utförandet av en förfrågan som uppfyller de infererade typsignaturer inte kommer att bryta typsignaturer för de valda predikaten. Således generaliserar den bakåtvända typanalysen typkontroll där programmeraren manuellt anger typsignaturer för alla predikat som kontrolleras för överensstämmelse av en typkontroll.
Med tanke på typsignaturer för en samling utvalda predikat såsom inbyggda eller bibliotekspredikat, kommer analysen av REF-infers typsignaturer för andra predikat så att utförandet av en förfrågan som uppfyller de infererade typsignaturer inte kommer att bryta mot de angivna typsignaturer.
Type inference generalises type checking
{'venue': 'Proceedings of Ninth International Static Analysis Symposium, volume 2477 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}