Smallest Horn Clause Programs
Author: P. Devienne and P. Lebegue and A. Parrain and J.C. Routier
and J. Würtz
Editor:
The simplest non-trivial program pattern in logic programming is
the following one :
$$\left\beginarrayl
p(\textitfact)\leftarrow\
p(\textitleft)\leftarrow p(\textitright).\
\leftarrow p(\textitgoal).
\endarray\right.\def\globble#1\gobble\$$
where \textitfact
|