Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

27
LINES

< > BotCompany Repo | #1025731 // Wants To Connect Musing shortened

JavaX source code (Dynamic Module) [tags: use-pretranspiled] - run with: Stefan's OS

Uses 911K of libraries. Click here for Pure Java version (6943L/35K).

!7

cmodule WTC > DynPrintLog {
  transient S program = [[
    theory (discord token) {
      synonym token = (discord token)
      synonym bot = (discord bot)
      a token is something a bot needs in order to (connect to discord)
    }
    
    a $a is something a $b needs in order to $c
      & $d is a $b
      & $d wants to $c
      => $d needs a $a
    
    gazelle is a bot
    gazelle wants to (connect to discord)
    
    expect (gazelle needs a token)
  ]];
  
  start-thread {
    ai_checkMusing(program);
    assertFailsVerbose(r { ai_checkMusing(program + "\n" + "expect (not a fact)") });
    print("OK!");
  }
}

download  show line numbers  debug dex  old transpilations   

Travelled to 6 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt

No comments. add comment

Snippet ID: #1025731
Snippet name: Wants To Connect Musing shortened
Eternal ID of this version: #1025731/3
Text MD5: de08da077ba7a74fef8c20fbc404cb78
Transpilation MD5: 2d2738421182993fa6571dc0b6794f53
Author: stefan
Category:
Type: JavaX source code (Dynamic Module)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2019-10-15 21:17:33
Source code size: 649 bytes / 27 lines
Pitched / IR pitched: No / No
Views / Downloads: 119 / 316
Version history: 2 change(s)
Referenced in: [show references]