gprolog-doc

prolog 人工智能语言的解释期

Document: gprolog-doc
Title: Online docs for GNU Prolog compiler
Author: Daniel Diaz
Abstract: GNU Prolog is a free Prolog compiler with constraint solving over finite
 domains (FD) developed by Daniel Diaz.  GNU Prolog is based on two systems
 developed by the same author (with lot of code rewriting and a lot of new
 extensions): wamcc and clp(FD).  A lot of work has been devoted to the ISO
 compatibility, GNU Prolog is very close to the ISO standard.
Section: Apps/Programming

Format: PDF
Files: /usr/share/doc/gprolog-doc/manual.pdf.gz

Format: HTML
Index: /usr/share/doc/gprolog-doc/gprolog.html/index.html
Files: /usr/share/doc/gprolog-doc/gprolog.html/*