more demo

demos/mk-workshop-2024/01-example.rkt

@@ -1,6 +1,6 @@
 #lang racket/base
 
-(require "mk.rkt")
+(require "08-mk-compiled.rkt")
 
 (defrel (appendo l1 l2 l3)
   (conde

demos/mk-workshop-2024/02-example-core.rkt

@@ -23,8 +23,14 @@
 
 
 
+
+
 ;; What if I make a grammar mistake?
 
 #;(run 1 (q)
     (== q
-        (== q q)))
+        (== q q)))
+
+#;(run 1 (q)
+  (fresh1 (x)
+    (+ 1 2)))

demos/mk-workshop-2024/05-example-with-binding.rkt

@@ -2,6 +2,8 @@
 
 (require "04-mk-with-binding.rkt")
 
+;; DrRacket understands binding structure now
+
 (defrel (appendo l1 l2 l3)
   (disj2
    (conj2 (== l1 '()) (== l2 l3))
@@ -21,8 +23,15 @@
              (appendo l1 l2 (cons 1 (cons 2 (cons 3 (cons 4 '())))))))))
 
 
-;; DrRacket understands binding structure now,
-;; and unbound references are errors.
+;; Unbound or incorrect references are an error now.
+
+#;(run 1 (q)
+  (+ 1 2))
+
+
+
+;; The compiler receives alphatized syntax.
+
 (run 1 (q)
   (fresh1 (x)
     (fresh1 (x)

demos/mk-workshop-2024/07-example-with-sugar.rkt

@@ -2,6 +2,9 @@
 
 (require "06-mk-with-sugar.rkt")
 
+;; The example uses syntactic sugar, but the compiler receives
+;; core-language syntax.
+
 (defrel (appendo l1 l2 l3)
   (conde
     [(== l1 '()) (== l2 l3)]

demos/mk-workshop-2024/09-example-compiled.rkt

@@ -14,5 +14,5 @@
   (appendo l1 l2 (list 1 2 3 4)))
 
 ;; What if I call a relation with the wrong number of arguments?
-#;(run* (l1 l2)
-    (appendo l1 (list 1 2 3 4)))
+(run* (l1 l2)
+  (appendo l1 (list 1 2 3 4)))

demos/mk-workshop-2024/11-example-with-check.rkt

@@ -17,7 +17,7 @@
            (submod ".." def))
 
   (run* (l1 l2)
-    ;; What if I make an arity mistake?
+    ;; Now arity mistakes get friendly errors.
     (appendo l1 (list 1 2 3 4))))  
 
 (require 'use)

demos/mk-workshop-2024/12-example-matche.rkt

@@ -14,18 +14,16 @@
       (== l3 (cons first res))
       (appendo rest l2 res)))))
 
+;; We can define the same relation using a pattern matching extension.
+
 (defrel/matche (appendo/m l1 l2 l3)
   [('() l l)]
-  [((cons first rest)
-    l2
-    (cons first res))
-   (appendo rest l2 res)])
-
-
-#;(run 3 (n)
-  (peano n))
-
+  [((cons first rest) l2 (cons first res))
+   (appendo/m rest l2 res)])
 
 (begin
-  (print-relation-code appendo/m)
+  ;; Shows the macro-expanded code that the miniKanren compiler receives.
+  #;(print-relation-code appendo/m)
+
+  ;; Shows the optimized code after constant prop and dead code elim.
   (print-relation-code/after-dead-code appendo/m))

demos/mk-workshop-2024/13-routes.rkt

@@ -0,0 +1,23 @@
+#lang racket
+
+(require hosted-minikanren)
+
+(defrel (route origin end path)
+  (conde
+    [(== origin end) (== path '())]
+    [(fresh (hop remainder)
+       (== path (cons (list origin hop) remainder))
+       (absento origin remainder)
+       (direct origin hop)
+       (route hop end remainder))]))
+
+(defrel (direct a b)
+  (conde
+    [(== a "BOS") (== b "SEA")]
+    [(== a "HOU") (== b "SLC")]
+    [(== a "SEA") (== b "DEN")]
+    [(== a "SEA") (== b "BOS")]
+    [(== a "DEN") (== b "HOU")]
+    [(== a "SLC") (== b "SFO")]))
+
+(run* (q) (route "SEA" "HOU" q))

demos/mk-workshop-2024/16-occurs-check.rkt

@@ -0,0 +1,27 @@
+#lang racket/base
+
+(require hosted-minikanren
+         hosted-minikanren/inspect)
+
+(defrel (r1 a b)
+  (fresh (x y)
+    (== a (list 1 x))
+    (== b (list 1 y))
+    (== x y)))
+
+#;(print-relation-code/after-occurs-check r1)
+
+
+
+
+
+#;(defrel (r2 x y)
+  (fresh (a b)
+    (== x (cons '5 '6))
+    (goal-from-expression
+     (void #| unknown racket code |#))
+    (== a b)
+    (== y x)))
+
+#;(print-relation-code/after-occurs-check r2)
+

demos/mk-workshop-2024/flights-data.rkt

@@ -0,0 +1,35 @@
+#lang racket
+
+(provide download-flights-csv create-flights-table query-flight-rows)
+
+(require hosted-minikanren
+         hosted-minikanren/demos/icfp2024/facts
+         csv-reading
+         racket/list
+         net/url
+         net/url-string
+         db sql)
+
+(define SOURCE
+  "https://raw.githubusercontent.com/jpatokal/openflights/master/data/routes.dat")
+
+;; () -> [Listof [Listof String String]]
+;; Should produce a list of flights, each flight a list matching the data schema
+(define (download-flights-csv)
+  (for/list ([row (csv->list (get-pure-port (string->url SOURCE)))])
+    (list (third row) (fifth row))))
+
+(define (create-flights-table v)
+  (void))
+
+(define-facts-table flights [flightfrom flightto]
+  #:initial-data (download-flights-csv))
+
+(defrel (direct a b)
+  (query-facts flights a b))
+
+(define (query-flight-rows conn a-arg b-arg)
+  (run* (a b)
+    (== a a-arg)
+    (== b b-arg)
+    (direct a b)))