Skip to content
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

SzaboContractExamples
123 contrato.plOct 10, 2021, 7:14:07 AM909 B
acompa.plOct 10, 2021, 7:14:07 AM618 B
Acompaña.plOct 10, 2021, 7:14:07 AM538 B
ama.plOct 10, 2021, 7:14:07 AM383 B
antecedents_and_observations.plOct 10, 2021, 7:14:07 AM371 B
arrival_correct.plOct 10, 2021, 7:14:07 AM942 B
arrival_español.plOct 10, 2021, 7:14:07 AM2.58 KiB
arrival_español(1).plOct 10, 2021, 7:14:07 AM2.58 KiB
arrival.plOct 10, 2021, 7:14:07 AM855 B
badBlocks.plOct 10, 2021, 7:14:07 AM1.45 KiB
bad conveyor.plOct 10, 2021, 7:14:07 AM3.81 KiB
Ballot.plOct 10, 2021, 7:14:07 AM3.30 KiB
bank.plOct 10, 2021, 7:14:07 AM1.58 KiB
bankTransfer2D.plOct 10, 2021, 7:14:07 AM1.71 KiB
Basic If Then Else.plOct 10, 2021, 7:14:07 AM367 B
blocks_world_interference.plOct 10, 2021, 7:14:07 AM1.06 KiB
brujanino.plOct 10, 2021, 7:14:07 AM595 B
buggymartianrobot,pl.plOct 10, 2021, 7:14:07 AM906 B
buggymartianrobot.plOct 10, 2021, 7:14:07 AM1017 B
busqueda.plOct 10, 2021, 7:14:07 AM170 B
carta.plOct 10, 2021, 7:14:07 AM513 B
CCAcompanaB2018.plOct 10, 2021, 7:14:07 AM362 B
checkout.plOct 10, 2021, 7:14:07 AM825 B
checkout with more_actions.plOct 10, 2021, 7:14:07 AM895 B
completeness.plOct 10, 2021, 7:14:07 AM231 B
complex loan.plOct 10, 2021, 7:14:07 AM13.03 KiB
consolidated loan.plOct 10, 2021, 7:14:07 AM4.95 KiB
contagion.plOct 10, 2021, 7:14:07 AM4.35 KiB
contagion2.plOct 10, 2021, 7:14:07 AM379 B
contagionlps.plOct 10, 2021, 7:14:07 AM3.23 KiB
contagionnet.plOct 10, 2021, 7:14:07 AM3.02 KiB
contrato116.plOct 10, 2021, 7:14:07 AM2.07 KiB
conveyor belt.plOct 10, 2021, 7:14:07 AM3.36 KiB
conveyor belt(1).plOct 10, 2021, 7:14:07 AM3.36 KiB
ConveyorBelt2.plOct 10, 2021, 7:14:07 AM4.41 KiB
cooking.lpsOct 10, 2021, 7:14:07 AM15.26 KiB
cooking.plOct 10, 2021, 7:14:07 AM15.26 KiB
delayedDelivery.lpsOct 10, 2021, 7:14:07 AM2.50 KiB
delivery.plOct 10, 2021, 7:14:07 AM2.83 KiB
deliveryDelay.plOct 10, 2021, 7:14:07 AM2.59 KiB
Deontic Szabo.lpsOct 10, 2021, 7:14:07 AM1.57 KiB
Ejemplo de fuego.lpsOct 10, 2021, 7:14:07 AM513 B
emergencia.plOct 10, 2021, 7:14:07 AM327 B
emergenciasimple.plOct 10, 2021, 7:14:07 AM348 B
emergency.plOct 10, 2021, 7:14:07 AM312 B
end of daay.plOct 10, 2021, 7:14:07 AM792 B
end of day.plOct 10, 2021, 7:14:07 AM898 B
eventgraph.plOct 10, 2021, 7:14:07 AM2.60 KiB
eYStcpBj.plOct 10, 2021, 7:14:07 AM739 B
farmer, wolf, goat and cabbage.plOct 10, 2021, 7:14:07 AM2.29 KiB
faultymartianrobot.plOct 10, 2021, 7:14:07 AM1.87 KiB
faultypurereacting.plOct 10, 2021, 7:14:07 AM706 B
firststeps1AWDerived.lpsOct 10, 2021, 7:14:07 AM2.69 KiB
foxonegoal.plOct 10, 2021, 7:14:07 AM607 B
fwgc.lpsOct 10, 2021, 7:14:07 AM2.29 KiB
GDPR compliance - article 46.plOct 10, 2021, 7:14:07 AM1.32 KiB
Giomar Aquiles Salazar Molina.plOct 10, 2021, 7:14:07 AM520 B
goat.plOct 10, 2021, 7:14:07 AM1.97 KiB
hogwarts.plOct 10, 2021, 7:14:07 AM874 B
initiating more actions.plOct 10, 2021, 7:14:07 AM417 B
insane_mix.lpsOct 10, 2021, 7:14:07 AM29.36 KiB
insurance.plOct 10, 2021, 7:14:07 AM2.85 KiB
Jeinfferson Bernal.plOct 10, 2021, 7:14:07 AM2.58 KiB
JindoshRiddle.plOct 10, 2021, 7:14:07 AM2.72 KiB
JohnDTractorInsuranceContract.plOct 10, 2021, 7:14:07 AM616 B
Joker_s_dilemma.plOct 10, 2021, 7:14:07 AM1.90 KiB
JzbyYMZk.lpsOct 10, 2021, 7:14:07 AM1.62 KiB
Leon_raton.plOct 10, 2021, 7:14:07 AM761 B
leonraton01.plOct 10, 2021, 7:14:07 AM817 B
leonraton02.plOct 10, 2021, 7:14:07 AM658 B
Life.plOct 10, 2021, 7:14:07 AM1.96 KiB
LP.plOct 10, 2021, 7:14:07 AM226 B
martianrobot,pl.plOct 10, 2021, 7:14:07 AM1008 B
martianrobot.plOct 10, 2021, 7:14:07 AM1.95 KiB
martianrobotl.plOct 10, 2021, 7:14:07 AM1.92 KiB
minimalGoat.plOct 10, 2021, 7:14:07 AM1.05 KiB
MyLife.plOct 10, 2021, 7:14:07 AM1.96 KiB
myLogGroker.plOct 10, 2021, 7:14:07 AM111.68 KiB
need insulin.plOct 10, 2021, 7:14:07 AM1.84 KiB
new ballot.plOct 10, 2021, 7:14:07 AM2.62 KiB
new goat.plOct 10, 2021, 7:14:07 AM2.29 KiB
New Tezos.plOct 10, 2021, 7:14:07 AM3.92 KiB
NormalOutcomeOfJohnDTractorInsuranceContract.pl .plOct 10, 2021, 7:14:07 AM813 B
P6 Claudio Condor.plOct 10, 2021, 7:14:07 AM883 B
planningfox.plOct 10, 2021, 7:14:07 AM764 B
pobrearico.plOct 10, 2021, 7:14:07 AM1.77 KiB
pork bellies.lpsOct 10, 2021, 7:14:07 AM1.47 KiB
pork bellies commented.lpsOct 10, 2021, 7:14:07 AM3.02 KiB
potencia.plOct 10, 2021, 7:14:07 AM1.02 KiB
PrologContagion.plOct 10, 2021, 7:14:07 AM950 B
purereacting.plOct 10, 2021, 7:14:07 AM577 B
PxkqiaFK.plOct 10, 2021, 7:14:07 AM362 B
reactivesolutions.plOct 10, 2021, 7:14:07 AM134 B
realt_time_cycle.plOct 10, 2021, 7:14:07 AM272 B
realt_time_cycle(1).plOct 10, 2021, 7:14:07 AM272 B
resistencia.lpsOct 10, 2021, 7:14:07 AM592 B
river_crossing.lpsOct 10, 2021, 7:14:07 AM972 B
salomon.lpsOct 10, 2021, 7:14:07 AM2.15 KiB
salomon.plOct 10, 2021, 7:14:07 AM2.04 KiB
Samuel Contreras.plOct 10, 2021, 7:14:07 AM620 B
sdsd.plOct 10, 2021, 7:14:07 AM408 B
search.plOct 10, 2021, 7:14:07 AM419 B
sel-driving cars.plOct 10, 2021, 7:14:07 AM2.54 KiB
self-drivers.lpsOct 10, 2021, 7:14:07 AM8.59 KiB
self-drivers.plOct 10, 2021, 7:14:07 AM8.62 KiB
self-driving cars.plOct 10, 2021, 7:14:07 AM2.72 KiB
semantic_graphs.plOct 10, 2021, 7:14:07 AM597 B
Simpified contaminated doesn't work.plOct 10, 2021, 7:14:07 AM3.12 KiB
simple conveyor.plOct 10, 2021, 7:14:07 AM5.85 KiB
simplified checkout.plOct 10, 2021, 7:14:07 AM783 B
Solomon and the two women.plOct 10, 2021, 7:14:07 AM2.18 KiB
SOS.plOct 10, 2021, 7:14:07 AM819 B
survival_game.lpsOct 10, 2021, 7:14:07 AM83.01 KiB
take insulin.plOct 10, 2021, 7:14:07 AM2.52 KiB
testingLPSrecursion.plOct 10, 2021, 7:14:07 AM3.09 KiB
testingLPSrecursionLPS.plOct 10, 2021, 7:14:07 AM3.74 KiB
testingLPSrecursionLPSFluent.plOct 10, 2021, 7:14:07 AM3.85 KiB
tezos_game_with_oracle.plOct 10, 2021, 7:14:07 AM1.62 KiB
Tezos game.plOct 10, 2021, 7:14:07 AM4.24 KiB
Tezos game revised.plOct 10, 2021, 7:14:07 AM6.17 KiB
TimeLimitedOutcomeOfJohnDTractorInsuranceContract.plOct 10, 2021, 7:14:07 AM777 B
time simulation.plOct 10, 2021, 7:14:07 AM2.48 KiB
trabajo.plOct 10, 2021, 7:14:07 AM417 B
trading.plOct 10, 2021, 7:14:07 AM399 B
unsat.plOct 10, 2021, 7:14:07 AM1.75 KiB
venezuelaenero2019a.plOct 10, 2021, 7:14:07 AM1.41 KiB
venezuelaenero2019b.plOct 10, 2021, 7:14:07 AM1.64 KiB
wheel.plOct 10, 2021, 7:14:07 AM802 B
zorraconmeta.plOct 10, 2021, 7:14:07 AM687 B
zorraconunameta.plOct 10, 2021, 7:14:07 AM645 B
zorraotrameta.plOct 10, 2021, 7:14:07 AM599 B
zorrasinmeta.plOct 10, 2021, 7:14:07 AM419 B
zorraunameta.plOct 10, 2021, 7:14:07 AM747 B
zqHuVEoT.plOct 10, 2021, 7:14:07 AM420 B