کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423739 685285 2008 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Focusing the Inverse Method for LF: A Preliminary Report
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Focusing the Inverse Method for LF: A Preliminary Report
چکیده انگلیسی

In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward uniform proofs calculus which is a suitable foundation for the inverse method for LF and prove its correctness. We also present some preliminary results of an implementation for the Horn Fragment as part of the logical framework Twelf, and compare its performance with the tabled logic programming engine.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 196, 22 January 2008, Pages 95-112