The Edinburgh Logical Framework is, with De Bruijn's AUTOMATH, one of the two most influential implemented proof representation systems in existence.
Logic Programming in the LF Logical Framework (1991)
Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.
[Mozilla Einstein]
Last update:
January 2, 2007 at 17:54:52 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional