Commits

Branch selector

 be81c38

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 22, 2022

• loadFactsAndQuery

  mcalejo

  committed
  be81c38

• load into sessionModule

  mcalejo

  committed
  b7a4a01

Commits on Jul 19, 2022

• Adds example 7 with affiliates to 1_net_asset_value_test_2

  

  jacintodavila

  committed
  004d799

Commits on Jul 18, 2022

• Add one more scenario (7-Ayoubi Art Supplies) to net asset test example

  

  jacintodavila

  committed
  e40d0d0

Commits on Jul 15, 2022

• Modifies explanation renderer to add because and although to failing proofs. It also completes the exemptions example

  

  jacintodavila

  committed
  196bf65

• Adds predicate_decl/4 as externally seen predicate from le_input

  

  jacintodavila

  committed
  c12f4c8

• Add some events reasoning to example cgt_assets_and_exemptions

  

  jacintodavila

  committed
  b32f1a6

• Refines examples

  

  jacintodavila

  committed
  09f2108

Commits on Jul 12, 2022

• Add CGT assets and exemptions example

  

  jacintodavila

  committed
  d371568

Commits on Jul 11, 2022

• Adds 4 scenarios and corresponding rules for CGT net asset value test. Still not all correct

  

  jacintodavila

  committed
  d9f9340

Commits on Jun 27, 2022

• edit comment

  mcalejo

  committed
  2bc8458

• enforce dummy token in web API

  mcalejo

  committed
  21ba47b

• Preliminary web endpoint to translate LE into PROLOG

  mcalejo

  committed
  4dd6926

Commits on Jun 26, 2022

• Add query with justification to 3_rolloever_2 example

  

  jacintodavila

  committed
  8d2d36d

• Add example to test the is predicates

  

  jacintodavila

  committed
  1b5e225

• Combines user defined is_/2 with is_ <- is to solve issue #11

  

  jacintodavila

  committed
  1366c24

• Solves issue #11 by adding an auxiliary is_/2 predicate that can be updated from users' documents

  

  jacintodavila

  committed
  84d00d6

Commits on Jun 23, 2022

• Updates tax121 wrt (3) Application to only 1 sale or exchange every 2 years

  

  jacintodavila

  committed
  ff19e41

• Adds another scenario to test (3) Application to only 1 sale or exchange every 2 years

  

  jacintodavila

  committed
  174495c

Commits on Jun 22, 2022

• Extends example 121 with scenario with a spouse

  

  jacintodavila

  committed
  525fa36

Commits on Jun 20, 2022

• Adds the US tax 121 example

  

  jacintodavila

  committed
  e8ac0d2

Commits on Jun 19, 2022

• Fixes minor comment details in data_protection_policy

  

  jacintodavila

  committed
  69bff5c

• Add and updates examples 1_net_asset_value_test_2 and data_proteccion_policy

  

  jacintodavila

  committed
  c04c56d

Commits on May 12, 2022

• Fixes a bug with a cut next to whether

  

  jacintodavila

  committed
  6d2d149

• Add the 'expression it is unknown that' along with 'it is unknown whether' to handle abduction statements and scenarios

  

  jacintodavila

  committed
  799a139

• Activates #abducible to handle unknown information with sCASP in LE

  

  jacintodavila

  committed
  7055171

Commits on May 6, 2022

• Updating main with latest extension on logical-languages, document inclusion and sCASP handling

  

  jacintodavila

  committed
  97abce7

• Fixes handling of lists and add sum of each in outputs

  

  jacintodavila

  committed
  b268cc5

Commits on Apr 5, 2022

• Fixes parser for Español Lógico/Logical Spanish

  

  jacintodavila

  committed
  f8625ce

Commits on Mar 28, 2022

• Integrates LE and s(CASP) mapping the kb into a scasp file and running LE queries against it

  

  jacintodavila

  committed
  507e18d

Commits on Mar 16, 2022

• Clean messages and code for better error reporting

  

  jacintodavila

  committed
  81fabae

• Fixes a bug in list_words_to_codes/2 to prevent adding spaces among symbols _ + - / \

  

  jacintodavila

  committed
  6e5d0ab

Commits on Mar 15, 2022

• Merge branch 'logical_languages' of https://github.com/LogicalContracts/LogicalEnglish into logical_languages

  

  jacintodavila

  committed
  ed309bd

• Fixing combining kb again

  

  jacintodavila

  committed
  2ed9130

• Merge pull request #8 from LegalMachineLab/logical_languages

  Show description for 705f8b0
  jacintodavila

  authored
  705f8b0

Pagination

Previous

Next