Changes between Version 2 and Version 3 of WikiStart

Show
Ignore:
Timestamp:
11/12/08 19:29:39 (6 years ago)
Author:
acharal (IP: 88.218.229.87)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v2 v3  
    11= Welcome to Higher Order Prolog with Extensional Semantics = 
    22 
    3 Hopes is a '''prototype''' interpreter for the definitorial higher order PROLOG. 
    4  
     3Hopes is a prototype interpreter for the definitorial higher order PROLOG. 
     4The interpreter implements a higher order proof procedure with extensional semantics.