Skip to content

History

New page

Revisions

  • Updated Language specification (markdown)

    @robsimmons robsimmons committed Feb 22, 2012
    051c4d3

  • Updated Language specification (markdown)

    @robsimmons robsimmons committed Feb 22, 2012
    8f50352

  • Updated Elton compiler (markdown)

    @robsimmons robsimmons committed Feb 22, 2012
    b787419

  • Updated The L10 Logic Programming Language (markdown)

    @robsimmons robsimmons committed Feb 22, 2012
    c9262ec

  • gram

    @robsimmons robsimmons committed Feb 21, 2012
    ad818e8

  • use definitions in the little example

    @robsimmons robsimmons committed Feb 21, 2012
    321d093

  • Updated Elton compiler (markdown)

    @robsimmons robsimmons committed Feb 18, 2012
    e98a697

  • interesting modes in queries

    @robsimmons robsimmons committed Feb 18, 2012
    86ebf70

  • Explain some of query directives

    @robsimmons robsimmons committed Feb 18, 2012
    a5f3be9

  • start rewrite

    @robsimmons robsimmons committed Feb 18, 2012
    07ffba8

  • update

    @robsimmons robsimmons committed Feb 17, 2012
    ecd7e34

  • Explain types.

    @robsimmons robsimmons committed Feb 16, 2012
    3cf7de4

  • Updated Language specification (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    ce087e4

  • check speck for better database specification

    @robsimmons robsimmons committed Feb 16, 2012
    6aee1c1

  • Simplify based on the ability to specify databases in code and have those be added to the public interface.

    @robsimmons robsimmons committed Feb 16, 2012
    5fc1695

  • Updated Elton compiler (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    872fe4b

  • simplify

    @robsimmons robsimmons committed Feb 16, 2012
    203e2a7

  • simplify

    @robsimmons robsimmons committed Feb 16, 2012
    e0159a3

  • Updated The L10 Logic Programming Language (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    e5123b6

  • Updated The L10 Logic Programming Language (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    a1e61bc

  • Updated The L10 Logic Programming Language (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    7472535

  • Updated Structured terms (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    99826df

  • clean up example

    @robsimmons robsimmons committed Feb 16, 2012
    7b45b65

  • Updated Structured terms (markdown)

    @robsimmons robsimmons committed Feb 16, 2012
    8816ed1

  • link to code (not there yet!)

    @robsimmons robsimmons committed Feb 16, 2012
    2c7a2e9

  • Nice little example of using structured terms in a saturating example. Unification's worth remembering as a big compelling example.

    @robsimmons robsimmons committed Feb 16, 2012
    07d379e

  • close scope

    @robsimmons robsimmons committed Feb 16, 2012
    f46d8c0

  • `UCID` defined elsewhere

    @robsimmons robsimmons committed Feb 16, 2012
    5d4e2d5

  • get github to stop syntax highlighting

    @robsimmons robsimmons committed Feb 16, 2012
    c2f06ed

  • explain pragmas

    @robsimmons robsimmons committed Feb 16, 2012
    95ec29e