Changeset 33204 in project


Ignore:
Timestamp:
02/23/16 00:42:20 (3 years ago)
Author:
svnwiki
Message:

Anonymous wiki edit for IP [177.104.48.1]:

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/4/pll

    r33203 r33204  
    1111Each variant is built on top of the other.
    1212
    13 - Pure prolog: no variables, no assertions, only plain Prolog and  SLD-resolution.
    14 
    15 - Prolog w/built-ins: with an extensible set of built-in predicates.  Only the built-ins within a list are allowed.
    16 
    17 - Prolog w/Scheme functions: call any Scheme function from Prolog.
    18 
    19 - Prolog w/local vars: this version has support for "IS" and local  Prolog variables.
    20 
    21 - Prolog w/meta-predicates: this version has support for "assert"  and "retract".
    22 
    23 - Prolog w/cut: this version supports cuts.
     13* Pure prolog: no variables, no assertions, only plain Prolog and  SLD-resolution.
     14* Prolog w/built-ins: with an extensible set of built-in predicates.  Only the built-ins within a list are allowed.
     15* Prolog w/Scheme functions: call any Scheme function from Prolog.
     16* Prolog w/local vars: this version has support for "IS" and local  Prolog variables.
     17* Prolog w/meta-predicates: this version has support for "assert"  and "retract".
     18* Prolog w/cut: this version supports cuts.
    2419
    2520One last implementation is missing, that would allow for writing
     
    136131
    137132
    138 This can be done with the `amb+` operator.
     133This can be done with the {{amb+}} operator.
    139134
    140135 (pure-prolog '(((f 1))
     
    144139 ((?x 1))
    145140
    146 If we call `(amb+)`, then we get another solution:
     141If we call {{(amb+)}}, then we get another solution:
    147142
    148143
     
    153148The different interpreters included are:
    154149
    155 - {{pure prolog}}      (prolog only)
    156 - {{prolog+built-ins}} (with built-in predicates with side-effect)
    157 - {{prolog+scheme}}    (with an FFI to Scheme, but NO built-ins)
    158 - {{prolog+local}}     (with "IS" and local vars; on top of prolog+scheme)
    159 - {{prolog+meta}}      (with assert and retract; on top of prolog+local)
    160 - {{prolog+cut}}       (with cut (!); on top of prolog+meta)
     150* {{pure prolog}}      (prolog only)
     151* {{prolog+built-ins}} (with built-in predicates with side-effect)
     152* {{prolog+scheme}}    (with an FFI to Scheme, but NO built-ins)
     153* {{prolog+local}}     (with "IS" and local vars; on top of prolog+scheme)
     154* {{prolog+meta}}      (with assert and retract; on top of prolog+local)
     155* {{prolog+cut}}       (with cut (!); on top of prolog+meta)
    161156
    162157So the features are added one on top of the other, except for the
Note: See TracChangeset for help on using the changeset viewer.