samedi 25 avril 2015

How to compile picoProlog from source code?


I am a student in Computer Science, and I am learning about logic programming with Prolog.

I have found an interesting Prolog interpreter, http://ift.tt/1DvB44O.

To know more about Prolog, I am trying to compile their source code, but I failed.

In this web page, they said:


The interpreter source is written in a minimal dialect of Pascal, avoiding many features including pointers, but using macros to overcome some of Pascal's limitations, in a style inspired by Kernighan and Plauger's book Software tools in Pascal. It comes with a translator from the Pascal dialect into C that can be used to build the interpreter and also source for the macro processor that is needed.

To build the interpreter on a Linux machine, just extract the tar file and type make. The building happens in several stages:

  1. First, the Pascal-to-C translator ptc is built from C source, including a lexer and parser written with lex and yacc. The file README gives some details of the very restricted Pascal subset accepted by this translator.
  2. Next, ptc is used to build the macro processor ppp.
  3. Finally, the picoProlog interpreter is built from the source code in the file pprolog.x by first expanding macros using ppp to obtain a file pprolog.p, then translating to C with ptc, and lastly compiling the C code.

Text and software copyright © J. M. Spivey, 1996, 2002, 2010.


They said about compiling on Linux only, so I don't know how to compile this source code in Windows machine. Can I compile it with Turbo Pascal 7.0, or Free Pascal 2.6.4 (without any requirement) on Windows XP? Can you remove some part of script for Pascal compiling only?


Aucun commentaire:

Enregistrer un commentaire