Logical English 2.0

Build: main@8135b77 (2026-09-18T06:27:47Z)

• Edit and Query: [New Document] (expand all · collapse all)
  • alice
  • citizenship
  • dates
  • happy_dragon
  • numbers
  • royal_family
  • tea_party
  • collections/ — Examples of a book and a talk

    • kowalski-book/ — Logical English renderings of Kowalski's book examples - PRELIMINARY

      • above_transitivity
      • amazing_animals
      • behaviourist_fox
      • bna_citizenship_1_1
      • cause_and_effect
      • equation_solving_goal
      • fox_and_crow
      • genesis_ancestors
      • grass_wet_abduction
      • housing_benefit
      • innocent_until_guilty
      • last_train
      • lease_termination
      • library_study
      • naturalisation_schedule1
      • older_brother
      • party_looping
      • party_naf
      • relative_clauses
      • thieves_punishment
      • trolley_problem
      • underground_emergency
    • logical-thinking-talk/ — Logical Thinking in the Age of AI: examples

      • heart_failure
      • heart_failure_what_if
      • provocation_transposed
      • standard_for_judgment
  • domains/ — Larger programs about a subject

    • other/ — Assorted domains

      • augmentedsem
      • enclosure
      • flying_dragon
      • sequencer
      • sunangel
    • tax/ — Australian tax law

      • 1_cgt_assets_and_exemptions_3
      • 1_net_asset_value_test_3
      • 3_rollover_3
      • 4_affiliates_3
      • div36_loss_sequencing
      • gst
      • gstturnover
      • journal_balance
      • payg
      • sbpp_0
      • sbppxml1
      • small_business
  • language/ — Language features, one program each

    • abduction/ — Abduction in Logical English

      • diagnosis
      • grass_is_wet
      • loan_approval
      • sunglasses
    • aggregates/ — Aggregates

      • ecommerce
      • sums
    • extensions/ — Extension constructs (need le_extensions.pl)

      • numbering_test
      • prolog_call
    • includes/ — Including other programs and Prolog resources

      • citizenship_including
      • citizenship_premier
      • prolog_resources/

        • postcodes
        • postcodes_layer
    • negation/ — Negation, conditions and comparisons

      • alice_propositional
      • inequality
      • only_if
      • propositional
    • rules/ — Rules: labels and metadata

      • rule_id_test
    • scasp/ — Two engines: Prolog and s(CASP)

      • clp_coverage
      • dual_engine_demo
    • templates/ — Templates, variables, constants and functions

      • functions
      • is_a_class_of
      • longsentence
      • named_vars
      • subset
      • synonyms
      • white_rabbit
    • unknowns/ — Unknowns (assumable conditions) and constraints

      • assumption_constraints
      • unknowns
      • unknowns_in_aggregates
      • unknowns_in_forall
  • regulatory/ — Regulatory decisions: provenance, tables, sections, views

    • eu261_integration
    • flip_housing
    • judged_damage
    • loaded_table
    • otherwise_table
    • precedent
    • precedent_pattern
    • scoped_notice
    • sections_benefit
    • semantic_llm
    • semantic_match
  • migration/ — Twins of other systems' programs

    • blawx/ — Blawx twins (Phase 2c)

      • beard_tax/

        • beard_tax
      • bird/

        • bird
      • covid_test/

        • covid_test
      • life_act/

        • life_act
      • list_demo/

        • list_demo
      • logical_constraints/

        • logical_constraints
      • mortality/

        • mortality
      • net30/

        • net30
      • numerical_constraints/

        • numerical_constraints
      • oasa/

        • oasa
      • r34/

        • r34
      • rps/

        • rps
      • siblings/

        • siblings
      • wills/

        • wills
      • wills_tutorial/

        • wills_tutorial
    • legalruleml/ — LegalRuleML twins (Phase 2f)

      • ex10_mix/

        • deontic
        • ex10_mix
      • ex11_maternity_alternatives/

        • deontic
        • ex11_maternity_alternatives
      • ex12_usc_17_504_context/

        • deontic
        • ex12_usc_17_504_context
      • ex1_curies/

        • deontic
        • ex1_curies
      • ex2_references/

        • deontic
        • ex2_references
      • ex3_deontic/

        • deontic
        • ex3_deontic
      • ex5_section29new/

        • deontic
        • ex5_section29new
      • ex8_defeasible/

        • deontic
        • ex8_defeasible
      • ex8b_defeasible/

        • deontic
        • ex8b_defeasible
      • ex8c_defeasible/

        • deontic
        • ex8c_defeasible
      • ex9_alternatives/

        • deontic
        • ex9_alternatives
      • ex9b_alternatives/

        • deontic
        • ex9b_alternatives
    • miniscript/ — Bitcoin Miniscript twins (Phase 1d)

      • bolt3_offered_htlc/

        • bolt3_offered_htlc
        • temporal
      • bolt3_received_htlc/

        • bolt3_received_htlc
        • temporal
      • bolt3_to_local/

        • bolt3_to_local
        • temporal
      • core_2of3_multisig/

        • core_2of3_multisig
        • temporal
      • cosigning_service/

        • cosigning_service
        • temporal
      • decaying_multisig/

        • decaying_multisig
        • temporal
      • halving_decay/

        • halving_decay
        • temporal
      • hash_threshold/

        • hash_threshold
        • temporal
      • liana_inheritance/

        • liana_inheritance
        • temporal
      • liana_recovery/

        • liana_recovery
        • temporal
      • liquid_federation/

        • liquid_federation
        • temporal
      • revault_unvault/

        • revault_unvault
        • temporal
    • scasp/ — s(CASP) twins (Phase 2c)

      • abdbirds/

        • abdbirds
      • birds/

        • birds
      • citizenshiptrust/

        • citizenshiptrust
      • classic_negation_inconstistent/

        • classic_negation_inconstistent
      • criminaljustice/

        • criminaljustice
      • family/

        • family
      • family_le/

        • family_le
      • impossibleancestor/

        • impossibleancestor
      • isdapermissioncorrected/

        • isdapermissioncorrected
      • itispermittedthat/

        • itispermittedthat
      • list/

        • list
      • loanwithcure/

        • loanwithcure
      • minicontract/

        • minicontract
      • obligation/

        • obligation
      • simplerps/

        • simplerps
      • subset/

        • subset
      • turingcomplete/

        • turingcomplete
• Just run a program: [Executive view]
  A minimalist, mobile-friendly way to pick a program, choose a scenario and question, and see the answer — no editing.
• GitHub Repository

Documentation

• A Gentle Introduction to Logical English 2
  Start here: a hands-on tutorial that builds small programs — a tea party, a flying dragon, a slice of British nationality law, a tea shop — teaching how to write, query, test and debug LE in the editor, then citations, views and a second engine.
• How to use the LE2 web application
  The editor manual: opening and saving files, running queries, the scenario and query editors, scenario variations, and reading the explanation trees.
• Logical English syntax summary
  The language reference: every construct — templates, rules, operators, aggregates, variables and types, dates, ontology, extensions — for looking things up as you write.
• Other systems: importing and exporting
  The map of every system Logical English translates from or to, how opening another system's file, Show the Original and exporting work, and the refusals.

Test Suite