search

LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
290 stars 36 forks source link

[wish] tabling #73

Open gares opened 4 years ago

gares commented 4 years ago

Readings: https://www.researchgate.net/publication/220987061_A_Simple_Scheme_for_Implementing_Tabled_Logic_Programming_Systems_Based_on_Dynamic_Reordering_of_Alternatives/references https://www.researchgate.net/publication/2862749_Implementation_of_a_Linear_Tabling_Mechanism https://www.researchgate.net/publication/338569511_Tabled_Typeclass_Resolution https://www.researchgate.net/publication/50520354_Beyond_depth-first_strategies_improving_tabled_logic_programs_through_alternative_scheduling https://www.cs.mcgill.ca/~bpientka/papers/eftab-long.pdf

gares commented 3 years ago

https://www.researchgate.net/publication/221135647_An_Abstract_Machine_for_SLG_Resolution_Definite_Programs