Negation and control in Prolog

著者

• Naish, Lee

書誌事項

Negation and control in Prolog

Lee Naish

（Lecture notes in computer science, 238）

Springer-Verlag, c1986

• : gw
• : us

注記

Bibliography: p. [70]-76

内容説明・目次

目次

Implementing negation.- Control of logic programs.

「Nielsen BookData」 より

• NII書誌ID(NCID): BA00301077
• ISBN:
  • 354016815X
  • 038716815X
• LCCN: 86022056
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: ix, 119 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.73.P76
  • DC19 : 005.13/3
  • NDC8 : 007.64
• 件名:
  • LCSH : Prolog (Computer program language)
  • NDLSH : プログラミング用言語
• 親書誌ID:
  • BA00009279