https://github.com/permutationlock/prolog_interpreter

A simple prolog interpreter, implemented with Flex (lex) and Bison (yacc).
https://github.com/permutationlock/prolog_interpreter

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/permutationlock/prolog_interpreter
• Owner: permutationlock
• License: mit
• Created: 2015-05-31T11:46:43.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2015-07-16T00:51:59.000Z (almost 10 years ago)
• Last Synced: 2025-01-14T15:42:00.355Z (4 months ago)
• Language: C++
• Size: 242 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.txt
  • License: LICENSE

Awesome Lists containing this project

README

        
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.