Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is tabling in a logic programming system?

  • A.Storing the facts of the knowledge base in a relational table
  • B.Arranging the clauses in a table for faster lookup during search
  • C.Tabulating the results of a query for presentation to the user
  • D.Recording answered subgoals so they are not recomputed or looped upon

Answer: D

Memoising subgoals and their answers both prevents infinite loops on left recursive rules and avoids repeating work, which makes a whole class of natural programs terminate. It is the logic programming analogue of dynamic programming. Storage layout, indexing and presentation are different matters. Adding memoisation to a search that repeats subproblems is a general remedy and it applies here with unusual force.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.