Navigation

• Home
• Projects
  • ALGOL
  • APL
  • Artificial Intelligence
  • BCPL
  • C++
  • FOCAL
  • FORTRAN and FORTRAN II
  • GEDANKEN
  • LISP
  • Mesa
  • NLS / AUGMENT
  • PAL
  • Poplar
  • Prolog
    • Argonne National Laboratories
    • Bell-Northern Research
    • BIM Systems
    • University of Cambridge
    • University of Edinburgh
    • Gigalips Project (Argonne National Laboratory, University of Manchester, University of Bristol, SICS, and IQSOFT SZKI)
    • Imperial College, London
    • InterFace Computer
    • Universidade Nova de Lisboa
      • Logic Programming Newsletter, Issues #1 through #5 (1981-1984)
      • Logic Programming Workshop'83
        • Simon Kasif, Madhur Kohli, Jack Minker. PRISM - A Parallel Inference System for Problem Solving. pp. 123-152.
      • 6th International Conference on Logic Programming. Lisbon, Portugal, 19-23 June 1989.
      • 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning, Lisbon, Portugal, June 28-30, 1993
    • Université d'Aix-Marseille
    • University of Melbourne
    • Université de Montréal
    • Quintus Computer Systems, Inc.
    • SRI International
    • State University of New York at Stony Brook
    • Swedish Institute of Computer Science
    • Syracuse University
    • University of Uppsala
    • University of Victoria
    • University of Warsaw
    • University of Waterloo
    • NIM IGÜSZI
  • SETL
  • Programming Languages
  • Functional Programming
  • Operating Systems
  • Program Verification
  • Directory of Software Collections
  • Interactive C Environments
  • The History of Emacs
• Meetings
• Software Preservation Wiki
• Discussion Forums
• About Us
• Can you help?
• The Attic & the Parlor: A Workshop on Software Collection, Preservation & Access, May 5, 2006

Log in

Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.

Forgot your password?

 

«	July 2025					»
Su	Mo	Tu	We	Th	Fr	Sa
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31