search

IDNI / TML

Tau Meta-Language
http://www.idni.org
122 stars 28 forks source link

UNSAT test becoming `unsat` too early? #29

Closed TeamSPoon closed 4 years ago

TeamSPoon commented 4 years ago 
# # UNSAT TEST # #
# Following program does 6 steps and returns
# to the state where it initially started.
#
# TML has to stop and outputs: unsat
#
# Not stopping would cause an infinite loop
start.
running :- start.
~start :- running.
stop :- running.
~running :- stop.
start :- stop.
~stop :- start.

Should be unsat at the end not before. However, becoming unsat too soon...

Here is what happens on the TML bot

start.
running :- start.
~start :- running.
stop :- running.
~running :- stop.

Currently 'unsat' Here
should be stop ?

TeamSPoon commented 4 years ago

It might only be the bot..

Is there a way to confirm the bot does what https://tml.klapka.cz/?intro=13 does?