Abstract
This document describes how Prolog can be used as part of the Common Gateway Interface (CGI) for more information on CGI, check out the University of Kansas CGI Intro or the NCSA CGI Intro in order to process HTML Forms. As an example, we use the Type-Logical Grammar Theorem Prover.
Users
Please
log in to take part in the discussion (add own reviews or comments).