forked from SWI-Prolog/packages-jpl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
jpl.doc
53 lines (41 loc) · 1.4 KB
/
jpl.doc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
\documentclass[11pt]{article}
\usepackage{times}
\usepackage{pl}
\usepackage{html}
\sloppy
\makeindex
\onefile
\htmloutput{.} % Output directory
\htmlmainfile{jpl} % Main document file
\bodycolor{white} % Page colour
\begin{document}
\title{JPL: A bidirectional Prolog/Java interface}
\author{Paul Singleton \& Fred Dushin}
\maketitle
\begin{abstract}
JPL is a library using the SWI-Prolog foreign interface and the Java
jni interface providing a bidirectional interface between Java and
Prolog that can be used to embed Prolog in Java as well as for embedding
Java in Prolog. In both setups it provides a reentrant bidirectional
interface.
\end{abstract}
This version of the documentation is a quick and dirty collection of the
available documentation. It contains errors, references to obsolete
constructs, limitations that have been removed, etc.
\begin{itemize}
\item \url[Objectives]{jpl/objectives.html}
\item \url[Using Prolog from Java]{jpl/java_api/index.html}
\item Using Java from Prolog
\begin{itemize}
\item The API is described in \secref{jpl}.
\item \url[User guide]{jpl/prolog_api/overview.html}
\item \url[Gotchas]{jpl/prolog_api/gotchas.html}
\end{itemize}
\item \url[Installation]{jpl/installation.html}
\item \url[Release notes]{jpl/release_notes.html}
\end{itemize}
\input{jpldoc.tex}
\bibliographystyle{plain}
\bibliography{jpl}
\printindex
\end{document}