2241. Programming style
      These are suggestions for programming style, some undisputable, some my (Stanisław Halik) whims
2242. Programming Tips
      The following CLiki pages offer programming tips:
2243. Prolog
      Prolog is a programming language based around logical assertions
2244. Prolog Technology Theorem Prover
      The Prolog Technology Theorem Prover (PTTP) is an implementation (in Common Lisp) of the model elimination theorem-proving procedure that extends Prolog to the full first-order predicate calculus
2245. prometheus.cl
      Prometheus client
2246. prompt-for
      Prompt the user for input of a particular type, or satisfying some predicate
2247. Proposed ANSI Changes
      This page is a listing of proposed and wishlist revisions to ANSI Common Lisp
2248. Proposed ANSI Revisions and Clarifications
      Entries under this page have been moved to one of the following two pages:
2249. Proposed Extensions To ANSI
      This page is for proposed incremental changes and extensions to the language that go beyond what would be appropriate for Proposed ANSI Revisions and Clarifications, but not as radical as changes in Lisp - Next Generation:
2250. protocol
      Networking and other RFC-defined protocols:

CLiki the common lisp wiki