Tabled logic programming: Difference between revisions

Content deleted Content added
Add section headings
Add draft cats
Line 28:
Salvador Abreu,
Giovanni Ciatto
}}
{{Draft categories|[[Category:Logic programming]][[Category:Dynamic programming]]
}}