exlog:用于 Robert Virding 的 Erlog​​ 的 Elixir 绑定和宏

日志 罗伯特·维丁 (Robert Virding) 精彩的“Erlang 中的 Prolog” ( ) 的 Elixir 绑定和宏 这是 alpha 版，高度实验性的，未经测试的，可能有很多问题。 敬请关注。 例子 iex ( 1 ) > use Exlog iex ( 2 ) > e = Exlog . new iex ( 3 ) > e = e |> assert! ( father ( :homer , :lisa ) ) iex ( 4 ) > e = e |> assertz! ( father ( X ) <- father ( X , _ ) ) iex ( 5 ) > e |> provable? ( father ( :homer ) ) true iex ( 6 ) > e |> provable? ( father ( :ralph ) ) false iex