kanren.sourceforge.net

Preview meta tags from the kanren.sourceforge.net website.

Linked Hostnames

4

  • General Meta Tags

    6
    • title
      A declarative logic programming system
    • description
      An applicative logic programming system with a declarative set-theoretical semantics, and its applications
    • AuthorAddress
      oleg-at-okmij.org
    • keywords
      Logic Programming, meta-logic programming, relations, iterative deepening, proof assistant, Scheme
    • Date-Revision-yyyymmdd
      20090310

Links

19