Logic programming and its applications

著者

• Warren, David H. D.
• Van Caneghem, Michel

書誌事項

Logic programming and its applications

edited by Michel van Caneghem and David H. D. Warren

（Ablex series in artificial intelligence）

Ablex Publishing, c1986

内容説明・目次

内容説明

Logic programming is an emerging approach to computer science where programs are viewed as sets of logical axioms and computation is viewed as carefully controlled logical deduction. The approach currently finds practical realization in the programming language PROLOG. This volume contains details of research in the field, with a special emphasis on applications including expert systems, natural language parsing and analysis, database management and knowledge acquisition, circuit analysis, and hardware verification.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA00069463
• ISBN:
  • 0893912328
• LCCN: 85006214
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Norwood
• ページ数/冊数: x, 318 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 001.64/2
• 件名:
  • LCSH : Logic programming
  • LCSH : Programming languages (Electronic computers)
• 親書誌ID:
  • BA00017131