お試しください。
https://github.com/sasagawa888]]>
未選択http://scmblog.blog.shinobi.jp/%E6%9C%AA%E9%81%B8%E6%8A%9E/gcc%207.3%E4%BB%A5%E9%99%8D%E3%81%B8%E3%81%AE%E5%AF%BE%E5%BF%9C
Thu, 21 Mar 2019 11:00:53 GMTscmblog.blog.shinobi.jp://entry/33To Schemers
I used to be a Schemer before. I like ISLisp now. Because now Scheme is too big. ISLisp is better for learning purposes.

I hope that Professional and practical Schemer will implement R7RS Large and R8RS completely. They were oriented towards practical use and they expel Schemers who like simple and small. Please complete a practical Scheme processing system with responsibility.

About one month ago,O-Prolog was introduced on Reddit Prolog..
At that time there were still many bugs and nonconformities to the standards.

I received advice from many people such as Jan Burse, Ulrich neumerkel, Paulo Moura etc. at comp.lang.prolog. As a result, many bugs were fixed. I think that conformity with ISO-Prolog has also increased.

Meanwhile, I am trying to link Intel's chip called Movidius with O-Prolog. It is getting possible to run the API provided in C with O-Prolog's C wrapper.

I hope that combination of image recognition by deep learning and classical artificial intelligence by Prolog will have interesting results.

Following is the document about Movidius with O-Prolog (sorry explanatin is in Japanese only)Document

I added type inference to the compiler. It is still incomplete.
However, the compiler generates efficient code for the simple example below.
You can invoke type inference by giving the "type" symbol to the second argument of the compile-file function.
I am still improving type inference.

I added a translater from M expression to S expression in the attached file of Easy-ISLisp. http://eisl.kan-be.com/library/easyislisp1.html
The file name is "mexp.lsp".
The following is an example of it's execution.
I reproduced old-fashioned LISP.