Elxlog

Small pure Prolog intepreter/compiler in Elixir. Project is called Elxlog. Goal is fusion of Elixir and Prolog

install

make clone or down load zip file

invoke

mix elxlog

quit

halt().

caution

• predicate with zero arity is written like this. e.g. halt() true() fail()

• Returns false for non-existent predicates.

• There is no op/3.

• float number is same as ISO-Prolog e.g. 3.0e4

• comma and period is delimiter. Not operator.

• The comparison operation is the same as C and Elixir. e.g. < > >= <= == !=

• Anonymous variables in the same clause are not distinguished.

• Elixir code can be mixed in the file read by reconsult/1. The line after "!Elixir" is Elixir code. see test.pl

• There is no higher-order predicate such as call/1 assert/1 once/1. Within first order predicate logic.

• Predicates with the same predicate name but different Arity are not allowed.

builtin

  append/3
  arg/3
  atom/1
  atomic/1
  between/3
  elixir/1  Run the Elixir code. See test.pl (e.g. elixir(elx_in_the_park()) )
  float/1
  fail/0
  functor/3
  halt/0
  integer/1
  is/2
  length/2
  listing/1
  member/2
  name/2
  nl/0
  nonvar/1
  not/1
  number/1
  read/1
  reconsult/1  (or ['filename.pl'])
  time/1
  true/0
  var/1
  write/1
  =/2
  </2
  >/2
  >=/2
  <=/2
  !=/2
  ==/2
  =../2

formula:
  +,^,*,/,^
  prefix "elx_" means Elixir function. See test.pl

Example

mix elxlog
Compiling 1 file (.ex)
Elxlog ver0.XX
?- ['test.pl'].
true
?- listing().
fact(0,1)
fact(N,A) :- is(N1,N-1),fact(N1,A1),is(A,N*A1).
likes(kim,robin)
likes(sandy,lee)
likes(sandy,kim)
likes(robin,cats)
likes(sandy,X) :- likes(X,cats).
likes(kim,X) :- likes(X,lee),likes(X,kim).
likes(X,X)
true
?- X is elx_ack(3,11).
X = 16381
true
?- fact(10,X).
X = 3628800
true
?- likes(sandy,Who).
Who = lee;
Who = kim;
Who = robin;
Who = sandy;
Who = cats;
Who = sandy;
false
?- append(X,Y,[1,2,3]).
X = []
Y = [1,2,3];
X = [1]
Y = [2,3];
X = [1,2]
Y = [3];
X = [1,2,3]
Y = [];
false
?- halt().
goodbye

compiler

Elxlog ver0.12
?- compile('test.pl').
true
?- ['test.o'].
true
?- my_member(2,[1,2,3]).
true
?- fact(10,X).
X = 3628800.
true
?-

parallel

builtin parallel/n

see test.pl pqsort/2 and pfib/2

Elxlog ver0.14
?- ['test.pl'].
true
?- time(fib(15,X)).
"time: 2790153 micro second"
X = 610
true
?- time(pfib(15,X)).
"time: 1082117 micro second"
X = 610
true
?-