z5h

import Stopwatch
import Html exposing (..)
import Html.App as App
import Html.Attributes exposing (..)
import Html.Events exposing (..)

main: Program Never
main =
  App.program
    { init = init

z5h

input [
    focus (item.id) (RequiresFocus_ Nothing)
  else
    none
]

z5h

module Base.ListSet exposing
    ( Set
    , diff
    , empty
    , filter
    , foldl
    , foldr
    , fromList
    , group
    , insert

z5h

module Main exposing (..)

import Browser
import Html exposing (Html, button, div, span, text)
import Html.Attributes exposing (style)
import Html.Events exposing (onClick)
import Timeline exposing (Timeline)

z5h

import Browser.Dom
import Element exposing (Element)
import Element.Background as Background
import Element.Border as Border
import Element.Font as Font
import Element.Input as Input
import Html
import Html.Attributes
import Html.Events
import Json.Decode as Decode

z5h

-- modified version of https://package.elm-lang.org/packages/dvberkel/microkanren/latest/
-- fixing a bug, and adding reification, some practical features, and an example logic problem

module MicroKanren.Kernel exposing
    ( Goal, State, Stream(..), Term(..), Var
    , callFresh, conjoin, disjoin
    , emptyState, unit
    , walk
    , Substitutions, fish, l, pull, unify, v
    )

z5h

amb_example(BestGuess) :-
    run_with_monte_carlo_amb(1000, 
        ( amb(BestGuess, [2,3,4,5,6,7,8,9,10,11,12]),
          guess_the_dice_total(BestGuess)
        )).

guess_the_dice_total(Total) :-
    random_member(Dice1, [1,2,3,4,5,6]),
    random_member(Dice2, [1,2,3,4,5,6]),
    (Total =\= Dice1 + Dice2 -> amb(fail); true).