--- pl:prolog:prolog_tools [2008/01/19 15:07]
ptm
+++ pl:prolog:prolog_tools [2019/06/27 15:50] (aktualna)
@@ Linia 13: / Linia 13: @@
 ===== Source Code Documentation =====
-See discussion about [[:prologdoc]].
+==== PrologDoc ====
+On Jul 18, 2006, at 2:57 PM, Robert Rothenberg wrote:
+>I am looking for the best way to write documentation for some Prolog
+>libraries. Is there a Prolog-equivalent to POD (for Perl) or
+>Haddock (for
+>Haskel) that allows me to embed documentation in the source code?
+>
+Yes! There is PrologDocNG, see
+http://www.sourceforge.net/projects/PrologDoc
+(make sure you get the cvs version)
+I have documented my modules here:
+http://www.blipkit.org/modules.html
+Here is an example module:
+http://www.blipkit.org/pdoc/bioseq.html
+The source is here:
+http://www.blipkit.org/pdoc/bioseq.pro.html
+As you see it's more similar to a javadoc style
+However, I have not get succeeded in getting pdoc working with swi-
+prolog 5.6.x, so my docs are a little out of date
+I have also switched to a mixed style of documentation where I do
+verbose docs in the pldoc style, but for a typical exported predicate
+I will just try and provide as much metadata as possible as
+assertions. I haven't get figured out to get most of these assertions
+into the pdoc framework (I'm not the author of PrologDocNG, that's
+Salvador Fandino, I have just tweaked it in places)
+Here is some other links:
+http://prologdoc.sourceforge.net/
+http://iew3.technion.ac.il/~sarac/project/PrologDoc.html
+==== PlDoc ====
+PlDoc is the SWI-Prolog source-code documentation infrastructure. PlDoc is loosely based on JavaDoc, using structured comments to mix documentation with source-code. SWI-Prolog's PlDoc is entirely written in Prolog and well integrated with the environment. It can create HTML+CSS and LaTeX documentation files as well as act as a web-server for the loaded project during program development.
+http://www.swi-prolog.org/packages/pldoc.html
 ===== Databases with Prolog =====
@@ Linia 27: / Linia 74: @@
 ===== Prolog and Web Pages =====
-[[:Prolog Server Pages]]
+Prolog Server Pages (PSP) is a server-side scripting language based on Prolog. PSP is embedded in HTML documents and interpreted as a Prolog program. The output is then sent to the client (i.e. browser) together with the native HTML code.
+Several version of PSP exist, with minor differences, see links below.
+An example implementation:
+http://www.prologonlinereference.org/psp.psp
+Different PSP implementation comparison and review:
+http://www.benjaminjohnston.com.au/template.prolog?t=psp
+See also:
+[[http://www.clip.dia.fi.upm.es/Software/pillow/]]
 ===== Editing Prolog Code =====
-[[:Ediprolog]] for Emacs -- editing and executing prolog code in any buffer.
+GNU [[prolog:emacs]] is the editor of choice for many, offering:
+  * [[prolog:emacs#Ediprolog]] for Emacs -- editing and executing prolog code in any buffer.
+  * [[http://stud4.tuwien.ac.at/~e0225855/etrace/etrace.html|ETrace]] -- Prolog tracer
+Emacs is the extensible, customizable, self-documenting real-time display editor.
+If this seems to be a bit of a mouthful, an easier explanation is Emacs is a text editor and more. At its core is an interpreter for Emacs Lisp (“elisp”, for short), a dialect of the Lisp programming language with extensions to support text editing. Some of the features of GNU Emacs include:
+  * Content sensitive major modes for a wide variety of file types, from plain text to source code to HTML files, with syntax coloring.
+  * Complete built-in documentation, including a tutorial for new users.
+  * Highly extensible through the Emacs Lisp language.
+  * Support for many languages and their scripts, including all the European “Latin” scripts, Russian, Greek, Japanese, Chinese, Korean, Thai, Vietnamese, Lao, Ethiopian, and some Indian scripts. (Sorry, Mayan hieroglyphs are not supported.)
+  * A large number of extensions which add other functionality. The GNU Emacs distribution includes many extensions; many others are available separately—even a web browser
+[[http://www.gnu.org/software/emacs/|Emacs Web Site]]
+==== Ediprolog ====
+{{::ediprolog.el}} is an [[wp>Emacs]] mode which lets you transparently interact with SWI Prolog.
+Syntax highlighting is included.
+You can load and syntax-check Prolog programs and execute queries with minimal exposure to the toplevel. Queries start with '?-' or ':-', possibly preceded by '%' and whitespace.
+To install, copy ediprolog.el to your home directory, and add to your .emacs:
+    (load "~/ediprolog")
+    (global-set-key [f10] 'ediprolog-dwim)
+More info: http://stud4.tuwien.ac.at/~e0225855/ediprolog/ediprolog.html
+==== Tramp Emacs ====
+[[http://www.fifi.org/doc/tramp/tramp-emacs.html|Transparent Remote (file) Access, Multiple Protocol]].
+This package provides remote file editing, similar to Ange-FTP.
+The difference is that Ange-FTP uses FTP to transfer files between the local and the remote host, whereas TRAMP uses a combination of rsh and rcp or other work-alike programs, such as ssh/scp
+==== Emacs Goodies for Debian ====
+The file you're currently reading is mostly meant as an introductory
+starter for the various goodies included in emacs-goodies-el.  Consult the
+Info node `emacs-goodies-el' for more complete information.
-Prolog tracer for emacs: http://stud4.tuwien.ac.at/~e0225855/etrace/etrace.html
+See: http://packages.debian.org/emacs-goodies-el
 ===== Java and Prolog =====
 ==== JPL ====
@@ Linia 46: / Linia 144: @@
 JPL is designed in two layers, a low-level interface to the Prolog FLI and a high-level Java interface for the Java programmer who is not concerned with the details of the Prolog FLI.  The low-level interface is provided for C programmers who may wish to port their C implementations which use the FLI to Java with minimal fuss.
+Some instructions regarding [[prolog:jpl:jpl|installing JPL for Linux]].
 ==== InterProlog ====
@@ Linia 68: / Linia 167: @@
 see a [[http://www.jaist.ac.jp/~fuji/work/docs/html4/jpro_p2.html|tutorial]]
+==== Prolog2Java ====
+[[http://kaminari.istc.kobe-u.ac.jp/PrologCafe/|PrologCafe]] is a Prolog-to-Java source-to-source translator system.
+==== Unsorted ====
+http://ktiml.mff.cuni.cz/~bartak/prolog/implementations.html#prolog_in
+http://www.robert-tolksdorf.de/vmlanguages.html
+http://www.ugosweb.com/jiprolog/index.aspx
+http://jlogic.sourceforge.net/
+http://www.clip.dia.fi.upm.es/Software/Ciao/
+http://www.declarativa.com/interprolog/systems.htm
 ===== XML and Prolog =====

pl/prolog/prolog_tools.1200751642.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice