https://github.com/sasagawa888/elxlog
Prolog interpreter/compiler
https://github.com/sasagawa888/elxlog
elixir prolog
Last synced: 10 months ago
JSON representation
Prolog interpreter/compiler
- Host: GitHub
- URL: https://github.com/sasagawa888/elxlog
- Owner: sasagawa888
- License: other
- Created: 2019-08-04T07:00:38.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-06-15T23:10:19.000Z (over 5 years ago)
- Last Synced: 2025-02-16T00:24:30.797Z (11 months ago)
- Topics: elixir, prolog
- Language: Elixir
- Homepage:
- Size: 179 KB
- Stars: 32
- Watchers: 5
- Forks: 5
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: license.txt
Awesome Lists containing this project
README
# 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
?-
```