Scalalog

Scala compiler as simple logic programming system.

Example Prolog facts and rules.

%facts
child(john, carl).
child(carl, tom).

%riles
grandchild(A, B):-
  child(A, X),
  child(X, B).

Prolog queries

| ?- grandchild(carl, tom). 

no

| ?- grandchild(john, tom).

yes

Links

• Be Like Water — A Shapeless Primer
• Execute Prolog Online
• densh/typelog - Typelog: type-level programming for mere mortals