NoteFollowing a national ballot, the union, UCU, that represents staff in the higher education sector has called a strike on three days in late November, and also "action short of a strike" during a period that starts on Wednesday, 23 November. During this period, colleagues are invited to take various actions, including abstaining from voluntary activities. I view the maintenance of Spivey's Corner as an activity I undertake voluntarily and not part of any contract of employment, and I cannot guarantee that it will remain accessible during the period of the dispute. In addition, some materials on the site may pertain to lectures that are cancelled by myself or others as part of the strike, and we are asked not to make them available online. Further details of the reasons for the strike and how it affects teaching in Oxford are on a brief FAQ page.
PicoProlog is a minimal subset of Prolog, implemented by an interpreter written in Pascal. It is described in the book, An introduction to logic programming through Prolog, also available from this site.
Code for the interpreter is available on GitHub:
together with a translator from the Pascal subset used by the interpreter into C. The interpreter source itself uses macros to overcome some of the drawbacks of Pascal for this kind of systems programming, and a simple macro processor – also written in Pascal – is provided also.
You can fetch the interpreter code by cloning the Git repository.
$ git clone https://github.com/Spivoxity/pprolog.git
On a Linux machine, building PicoProlog should be straightforward; a Makefile is provided. Running
you will see the following. First, the Pascal-to-C translator is built, using Bison and Flex to generate the parser and lexer.
bison -d -o parse.c parse.y gcc -g -O2 -c -o main.o main.c gcc -g -O2 -c -o sem.o sem.c gcc -g -O2 -c -o expr.o expr.c gcc -g -O2 -c -o type.o type.c gcc -g -O2 -c -o symtab.o symtab.c gcc -g -O2 -c -o emit.o emit.c gcc -g -O2 -c -o library.o library.c gcc -g -O2 -c -o parse.o parse.c flex -t scan.l >scan.c gcc -g -O2 -c -o scan.o scan.c gcc -g -O2 -o ptc main.o sem.o expr.o type.o symtab.o emit.o library.o parse.o scan.o
Now the translator is used on the source of the macro processor
ppp.p, and the resulting C code is compiled.
./ptc ppp.p >ppp.c gcc -g -O2 -o ppp ppp.c
Finally, the macro processor is used on the source code of the Prolog interpreter, the resulting Pascal code is translated to C, and the C code is compiled into a working interpreter.
(echo "define(ptc)"; cat pprolog.x) | ./ppp >pprolog.p ./ptc pprolog.p >pprolog.c gcc -g -O2 -o pprolog pprolog.c
Using the Free Pascal Compiler
Instead of using the supplied Pascal-to-C translator, it's possible to build picoProlog using the compiler from the Free Pascal project. You will need the file
pplib.inc containing Free Pascal implementations of some system procedures. On Linux, you can just say
$ make fp-pprolog
to perform these steps:
fpc -ofp-ppp ppp.p Free Pascal Compiler version 3.0.0+dfsg-8 [2016/09/03] for x86_64 Copyright (c) 1993-2015 by Florian Klaempfl and others Target OS: Linux for x86-64 Compiling ppp.p Linking fp-ppp 394 lines compiled, 0.1 sec (echo "define(fpc)"; cat pprolog.x) | ./fp-ppp >fp-pprolog.p fpc -ofp-pprolog fp-pprolog.p Free Pascal Compiler version 3.0.0+dfsg-8 [2016/09/03] for x86_64 Copyright (c) 1993-2015 by Florian Klaempfl and others Target OS: Linux for x86-64 Compiling fp-pprolog.p fp-pprolog.p(537,19) Note: Local variable "dummy" is assigned but never used Linking fp-pprolog 2136 lines compiled, 0.1 sec 1 note(s) issued
The result is called
fp-pprolog so that it can coexist with the standard version in the same Makefile, but it can be renamed if you like.
Note that with version 3.0.0 of Free Pascal, the spurious message
/usr/bin/ld.bfd: warning: link.res contains output sections; did you forget -T?
appears a couple of times; it can safely be ignored.
On other machines, it may be simpler to work manually. First, edit the file
pprolog.x and add the single line
at the top. This will activate conditional code in the rest of the source that adapts it to Free Pascal. Then issue the following commands.
$ fpc -oppp ppp.p $ ppp <pprolog.x >pprolog.p $ fpc -opprolog pprolog.p
The resulting binary can be invoked as
The Pascal-to-C translater PTC provided with PicoProlog implements only the subset of constructs that are used in PicoProlog. Since that subset is more-or-less the intersection of Pascal and C, the job is not too difficult. The following is a (no doubt incomplete) list of features of Pascal that aren't implemented:
- Nested procedures
- Procedures as parameters
- Array parameters passed by value
- Arrays indexed by other than integer ranges
- Typed file I/O
- Width specifications for write (they're ignored)
- Reading other than characters
- Writing other than integers, characters or string constants
Some other Pascal features are implemented especially badly (in that errors in the Pascal source may result in a bad C program as the output):
- Check for assignment to a non-variable
- Check that labels are declared and placed exactly once
- Check bounds of constant string parameters
- Multiple declarations
- Type check for case labels
- Check forward procedures get defined
- Check that the real definition of a forward procedure has the same heading as the forward definition.
- The 'string' type is bogus: use array of char instead
- Var parameters
- For loop bounds