International Conference On Logic Programming News Today : Breaking News, Live Updates & Top Stories | Vimarsana

A Hitchhiker s Guide to Reinventing a Prolog Machine
pdf-format:
Abstract
We take a fresh, clean-room look at implementing Prolog by deriving its translation to an executable representation
and its execution algorithm from a simple Horn Clause meta-interpreter.
The resulting design has some interesting properties.
The heap representation of terms and the abstract machine instruction encodings are the same.
No dedicated code area is used as the code is placed directly on the heap.
Unification and indexing operations are orthogonal.
Filtering of matching clauses happens without building new structures on the heap.
Variables in function and predicate symbol positions are handled with no performance penalty. ....

Christopher Mears , Neda Saeedloei , Paul Tarau , Schloss Dagstuhl , Informatik Gmbhschloss Dagstuhl , Informatik Gmbhscholarly , Ricardo Rocha , International Conference On Logic Programming , Technical Communications , Horn Clause , International Conference , Logic Programming , Openaccess Series , Tran Cao Son , Schloss Dagstuhl Leibniz Zentrum , கிறிஸ்டோபர் மியர்ஸ் , ரிக்கார்டோ ரோச்சா , சர்வதேச மாநாடு ஆன் தர்க்கம் ப்ரோக்ராமிஂக் , தொழில்நுட்ப தகவல்தொடர்புகள் , சர்வதேச மாநாடு , தர்க்கம் ப்ரோக்ராமிஂக் ,