Changes between Version 4 and Version 5 of WikiStart

Show
Ignore:
Timestamp:
05/27/12 12:29:02 (3 years ago)
Author:
acharal (IP: 46.190.60.219)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v4 v5  
    1919}}} 
    2020 
     21== Features == 
     22 * Can write first-order programs like ordinary Prolog. 
     23 * Higher-Order Variables: Can be passed as arguments and called like ordinary predicates. 
     24 * Partial Applications: Predicates can be applied only to some of their arguments. 
     25 * Lambda Abstractions: Support of anonymous predicate definition using lambda abstractions. 
     26 * Existential Higher-Order Variables: Can query a variable relation and generate an appropriate extensional binding. 
    2127 
    2228== Examples ==  
     
    3844}}} 
    3945 
    40 == Related Systems == 
     46== Other Higher Order Logic Systems == 
    4147 
    4248 * [http://teyjus.cs.umn.edu/ Teygus] is an implementation of [http://www.lix.polytechnique.fr/~dale/lProlog/ lambdaProlog].