Add datalog example to RacketScript playground?

#lang datalog

ancestor(A, B) :- parent(A, B).
ancestor(A, B) :-
  parent(A, C), ancestor(C, B).
parent(john, douglas).
parent(bob, john).
ancestor(A, B)?

@samphilips

I saw @samphilips demo of compiling rhombus to RacketScript and I was wondering if examples in other #lang’s are possible?

Good idea. I can't get it to work because we don't support imaginary numbers at the moment. Though I'm not sure why datalog needs them. Will look into it.

They are from the contract library -- racket/collects/racket/contract/private/generate-base.rkt.

Supposing this problem is fixed, there's still another problem at run-time: TypeError: M3.hash_for_each is not a function in the racket/pretty's compiled module.

hash-for-each should be easy enough to add.

I'm also seeing a failure on call to make-semaphore. Does anyone know if contracts are multi-threaded?

Navigation Menu

Repository navigation

Add datalog example to RacketScript playground? #268

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Add datalog example to RacketScript playground? #268

Description

Activity

spdegabrielle commented on Nov 17, 2021

stchang commented on Nov 17, 2021

sorawee commented on Nov 17, 2021

stchang commented on Nov 17, 2021

stchang commented on Nov 19, 2021

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions