Yap Prolog

Enviado em Dezembro 25th, 2002 by xpete
in
Responsáveis
Luis Castro
Ricardo Lopes
Vitor Santos Costa

Compilador de Prolog de alto desempenho.

"The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development."

Lançamentos

Recursos

Apoio

Desenvolvimento

  • Ficheiros
  • Entrada no Freshmeat
    • 0

    Submeter um novo comentário

    O conteúdo deste campo é privado e não irá ser exibido publicamente.
    enable javascript to use the editor
    • As linhas e os parágrafos quebram automaticamente
    • Endereços de páginas web e endereços de e-mail são transformados em links automaticamente.
    • Each email address will be obfuscated in a human readble fashion or (if JavaScript is enabled) replaced with a spamproof clickable link.
    • Highlight terms in this textarea.
    • Textual smileys will be replaced with graphical ones.
    CAPTCHA
    Esta pergunta serve para verificar se o utilizador é humano e para prevenir o envio automático de spam.
    7 + 9 =
    Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
    Conteúdo sindicado