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
?-
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent