BiLogic (BivalentLogic) is programming language (esoteric) for JVM. All variables are boolean.

Methods

def name
    body
end def

<VarList> invoke name <Arguments>

VarList := varname, <VarList> | _, <VarList> | varname | _
Arguments := true <Arguments> | false <Arguments> |
    varname <Arguments> | true | false | varname 

Main method:

def main
    ...
end def

Example

def main
    res1, res2 invoke method1
    res3, _, res4, res5 invoke method2 false res1
end def

def method1
    in var1, var2
    ret var2
    var3 is var1 -> var2
    ret var3
end def

def method2 arg1 arg2
    ret arg1 and arg2
    ret arg1 or arg2
    ret arg1 xor arg2
    ret arg1 -> arg2
end def

Assignment

Operations:

• not
• or
• and
• xor
• ->

Assignment := <VarList> is <Expression>
Expression := true | false | varname | not <Expression>
        <Expression> <BOperation> <Expression>
BOperation := and | or | xor | ->

Examples:

var is true

var is false

result is var1 and var2 or not var3

var1, var2 is expression

Input

Input := in <VarList>

Examples:

in var

in var1, var2, var3

Output

Start with out. Examples:

out {var}

out text

out Value = {var}

And you can use expressions inside braces:

out Result: {var1 or not var2 -> var3}. I hope.

If

IfStatement :=
if <Expression> then
    <Code>
else
    <Code>
end if

Example:

if var1 and not var2 then
    var3, var4 is expression
    out Hmmm {var3}
else
    out {var3}
end if

While

While :=
while <Expression> do
    <Code>
end while

Example:

while var1 or var2
    out {var3}
    var4 is var5 or var6
    var2 is var6 -> var4
end while

Exception

panic

panic Message

Comment

-- Text

License (MIT)

MIT License

Copyright (c) 2017 Vseslav Sekorin (vssekorin.com)

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.