Skip to content

History

Revisions

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 12, 2016
    a18db5c

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 12, 2016
    1039b47

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    6884af5

  • Updated Using Expressions (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    a86e08b

  • Updated Resolving Expressions (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    948ccaf

  • Updated Defining custom predicates in the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    f3d3950

  • Created Using the GDA Prolog Standard Library (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    36d4b34

  • Updated Home (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    d65fb9e

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    b7c9453

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    fbf7fb8

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    fda86bb

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    26c3379

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    8c499d6

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    ccbef1f

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    b218c86

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    fceb9c9

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    c89ded4

  • Updated Using the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    4e065ea

  • Created Defining custom predicates in the Prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    470a471

  • Updated Home (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    601326d

  • Added `length` predicate

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    23125c7

  • Updated Home (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    424c864

  • Updated Home (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    0a6ffe9

  • Updated tutorials:using expressions (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    b496665

  • Updated tutorials:resolving expressions (markdown)

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    5fc944e

  • New predicate explanations and examples

    @fairlight1337 fairlight1337 committed Oct 11, 2016
    a37bde3

  • Added details on `not` and `bound`

    @fairlight1337 fairlight1337 committed Oct 10, 2016
    e954b28

  • Added (not ?a)

    @fairlight1337 fairlight1337 committed Oct 10, 2016
    8e7ecc0

  • Updated tutorial:using prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 10, 2016
    1ae7b57

  • Updated tutorial:using prolog resolver (markdown)

    @fairlight1337 fairlight1337 committed Oct 10, 2016
    873994a