Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

FAQ: Prolog Resource Guide 1/2 [Monthly posting]
Section - [1-8] The Prolog 1000 Database

( Part1 - Part2 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Schools ]


Top Document: FAQ: Prolog Resource Guide 1/2 [Monthly posting]
Previous Document: [1-7] Commercial Object-Oriented Systems for Prolog
Next Document: [1-9] X-Windows Interfaces
See reader questions & answers on this topic! - Help others by sharing your knowledge

The Prolog 1000 is a database of real Prolog applications being
assembled in conjunction with the Association for Logic Programming
(ALP) and PVG. The aim is to demonstrate how Prolog is being used in
the real world and it already contains over 500 programs with a total
of well over 2 million lines of code. The database is available for
research use in SGML format from the Imperial College archive
   src.doc.ic.ac.uk:/packages/prolog-progs-db/prolog1000.v1.gz
If you have or know about a program that might qualify for inclusion,
send an email message to Al Roth (alroth@cix.compulink.co.uk) for an
electronic entry form which only takes a few minutes to complete. Or
write to Prolog 1000, PO Box 137, Blackpool, Lancashire, FY2 0XY,
U.K., Fax: +44 253 53811 Telephone: +44 253 58081. (Floppy disks for
PC or Mac in text form are also welcome, and paper entries may also be
sent). Queries may also be addressed to: Chris Moss
(cdsm@doc.ic.ac.uk), Leon Sterling (leon@alpha.ces.cwru.edu).

User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: FAQ: Prolog Resource Guide 1/2 [Monthly posting]
Previous Document: [1-7] Commercial Object-Oriented Systems for Prolog
Next Document: [1-9] X-Windows Interfaces

Part1 - Part2 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
mkant+prg@cs.cmu.edu





Last Update March 27 2014 @ 02:12 PM