Intlog - a Prolog interpreter with OO extensions - implemented in C++
C++ Prolog C QMake
Switch branches/tags
Nothing to show
Permalink
Failed to load latest commit information.
iostreams_qt timed flush to speedup output Oct 7, 2016
mini_console basic editing implemented Sep 19, 2016
scripts
README.md first commit Jan 28, 2013
actios.cpp adjusted licensing, tested on Android Sep 20, 2016
actios.h adjusted licensing, tested on Android Sep 20, 2016
argali.cpp adjusted licensing, tested on Android Sep 20, 2016
argali.h adjusted licensing, tested on Android Sep 20, 2016
aritval.h adjusted licensing, tested on Android Sep 20, 2016
binlib.cpp adjusted licensing, tested on Android Sep 20, 2016
binlib.h adjusted licensing, tested on Android Sep 20, 2016
binstr.cpp adjusted licensing, tested on Android Sep 20, 2016
binstr.h adjusted licensing, tested on Android Sep 20, 2016
btarit.cpp adjusted licensing, tested on Android Sep 20, 2016
btclass.cpp adjusted licensing, tested on Android Sep 20, 2016
btcmp.cpp
btdb.cpp adjusted licensing, tested on Android Sep 20, 2016
bterr.h adjusted licensing, tested on Android Sep 20, 2016
btexec.cpp adjusted licensing, tested on Android Sep 20, 2016
btil.cpp adjusted licensing, tested on Android Sep 20, 2016
btil.h adjusted licensing, tested on Android Sep 20, 2016
btio.cpp
btmath.cpp adjusted licensing, tested on Android Sep 20, 2016
btmeta.cpp adjusted licensing, tested on Android Sep 20, 2016
btmix.cpp adjusted licensing, tested on Android Sep 20, 2016
btmix.h adjusted licensing, tested on Android Sep 20, 2016
btswi0.cpp adding builtins, and debugging Sep 21, 2016
btswi0.h
bttrace.cpp
builtin.cpp adding builtins, and debugging Sep 21, 2016
builtin.h adjusted licensing, tested on Android Sep 20, 2016
chkrel.h adjusted licensing, tested on Android Sep 20, 2016
clause.cpp adjusted licensing, tested on Android Sep 20, 2016
clause.h adjusted licensing, tested on Android Sep 20, 2016
constr.cpp adjusted licensing, tested on Android Sep 20, 2016
constr.h adjusted licensing, tested on Android Sep 20, 2016
dbdisp.cpp adjusted licensing, tested on Android Sep 20, 2016
dbintlog.cpp
dbintlog.h adjusted licensing, tested on Android Sep 20, 2016
defsys.cpp adjusted licensing, tested on Android Sep 20, 2016
defsys.h
dlist.h adjusted licensing, tested on Android Sep 20, 2016
eng.cpp
eng.h
fastree.cpp adjusted licensing, tested on Android Sep 20, 2016
fastree.h adjusted licensing, tested on Android Sep 20, 2016
findall.cpp debugging - TBD Oct 6, 2016
hasht.cpp adjusted licensing, tested on Android Sep 20, 2016
hasht.h adjusted licensing, tested on Android Sep 20, 2016
iafx.cpp adjusted licensing, tested on Android Sep 20, 2016
iafx.h adjusted licensing, tested on Android Sep 20, 2016
kstr.cpp adjusted licensing, tested on Android Sep 20, 2016
kstr.h adjusted licensing, tested on Android Sep 20, 2016
membuf.h
memstore.h adjusted licensing, tested on Android Sep 20, 2016
message.cpp
message.h
mycont.h adjusted licensing, tested on Android Sep 20, 2016
operator.cpp adjusted licensing, tested on Android Sep 20, 2016
operator.h adjusted licensing, tested on Android Sep 20, 2016
parse.cpp debugging ABC and (unrelated) code styling Oct 6, 2016
parse.h adjusted licensing, tested on Android Sep 20, 2016
parsemsg.h adjusted licensing, tested on Android Sep 20, 2016
proios.cpp adjusted licensing, tested on Android Sep 20, 2016
proios.h adjusted licensing, tested on Android Sep 20, 2016
qdata.cpp
qdata.h adjusted licensing, tested on Android Sep 20, 2016
qstack.cpp adjusted licensing, tested on Android Sep 20, 2016
query.cpp debugging - TBD Oct 6, 2016
query.h adjusted licensing, tested on Android Sep 20, 2016
reduce.cpp adjusted licensing, tested on Android Sep 20, 2016
reduce.h adjusted licensing, tested on Android Sep 20, 2016
scanner.cpp adjusted licensing, tested on Android Sep 20, 2016
scanner.h adjusted licensing, tested on Android Sep 20, 2016
slist.cpp adjusted licensing, tested on Android Sep 20, 2016
slist.h
srcpos.h adjusted licensing, tested on Android Sep 20, 2016
stack.h adjusted licensing, tested on Android Sep 20, 2016
stdafx.h adjusted licensing, tested on Android Sep 20, 2016
strftime.cpp adjusted licensing, tested on Android Sep 20, 2016
syntaxcolor.h adjusted licensing, tested on Android Sep 20, 2016
sysdata.cpp adjusted licensing, tested on Android Sep 20, 2016
term.cpp adjusted licensing, tested on Android Sep 20, 2016
term.h adjusted licensing, tested on Android Sep 20, 2016
tracer.cpp adjusted licensing, tested on Android Sep 20, 2016
tracer.h adjusted licensing, tested on Android Sep 20, 2016
unify.cpp adjusted licensing, tested on Android Sep 20, 2016
unify.h
vectb.h
waittask.cpp adjusted licensing, tested on Android Sep 20, 2016
write.cpp
xtrace.h adjusted licensing, tested on Android Sep 20, 2016

README.md

IL

Prolog interpreter with OO extensions - implemented in C++, started in 1992 (my first C++ program). Based on simple algorithm ABC, now ported to 64 bit (just to be used as test case for github publishing).

Originally hosted in MFC based IDE, now survive just the console part. See mini_console.pro Qt project for a simple way to start the REPL.

The interpreter is structured as independent engines, each with a separate memory space.