From Logic Programming to Answer Set Programming

DOI Web Site 7 Citations 62 References

Bibliographic Information

Other Title
  • 論理と推論技術の展開　　論理プログラミングから解集合プログラミングへ
  • 論理プログラミングから解集合プログラミングへ
  • ロンリ プログラミング カラ カイ シュウゴウ プログラミング エ

Search this article

Description

Horn logic programs on which Prolog is based have a restriction in the syntax of programs, where only definite knowledge can be represented. This limitation does not enable us to represent incomplete and indefinite knowledge in logic programs. To overcome this problem, several extended classes of logic programs have been proposed since late in the 1980s. Among them, answer set programming launched out into the new paradigm of logic programming in 1999, in which a logic program represents the constraints of a problem and its answer sets correspond to the solutions of the problem. Answer set programming has grown into one of the most popular research fields in logic programming. In this article, we review the essentials of answer set programming from the past to the future.

Journal

  • Computer Software

    Computer Software 25 (3), 20-32, 2008

    Japan Society for Software Science and Technology

Citations (7)*help

See more

References(62)*help

See more

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top