next_inactive up previous Return to CLIP Main Page


phv


LPdoc
A Documentation Generator
for (C)LP Systems


Manuel Hermenegildo
herme@fi.upm.es


School of Computer Science
Technical University of Madrid (UPM)


CL2000
Imperial College, UK, July 28, 2000

(Work supported in part by Projects EDIPIA/ELLA/DiSCiPl)

Slide

Introduction / Motivation

Overall operation

\epsfig{figure=/home/clip/Papers/lpdoc/lpdoc_io_new.eps,width=\textwidth}

Inputs

Assertions

Assertions (Contd.)

Comments


Structure of generated documents


Documentation of predicates, props, etc.

Architecture and Implementation

\epsfig{figure=/home/clip/Papers/lpdoc/lpdoc_arch.eps,width=\textwidth}


Comparison with other systems


Conclusions

System Demo

SYSTEM DEMO


next_inactive up previous Return to CLIP Main Page
Last modification: Thu Nov 23 00:06:51 CET 2006 <webmaster@clip.dia.fi.upm.es>[CLIP] [FIM] [UNM]