lambda-logical-form

There are 0 repository under lambda-logical-form topic.

• kovvalsky / LangPro

  Tableau-based Theorem Prover for Natural Logic and Language

  nlinatural-language-inferencesemantic-tableautheorem-provertheorem-provingnatural-logicnatural-tableaulambda-logical-formnatural-language-processingformal-semanticsprolog
  Language:Prolog 109