GitHub - permutationlock/prolog_interpreter: A simple prolog interpreter, implemented with Flex (lex) and Bison (yacc).

permutationlock / prolog_interpreter Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A simple prolog interpreter, implemented with Flex (lex) and Bison (yacc).

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
doc		doc
lib		lib
LICENSE		LICENSE
readme.txt		readme.txt

Repository files navigation

Prolog Interpreter
------------------
In this project I created a simple Prolog interpreter
using Flex and Bison.  It performs unification of terms
and variables as well as prolog rules.  It does not
go into more complex features of prolog such as 
integer and equation unification and BNF grammars.